Skip to content

properly terminate in windows#130

Merged
timwoj merged 2 commits into
zeek:masterfrom
mamaorha:master
Mar 5, 2026
Merged

properly terminate in windows#130
timwoj merged 2 commits into
zeek:masterfrom
mamaorha:master

Conversation

@mamaorha
Copy link
Copy Markdown
Contributor

@mamaorha mamaorha commented Mar 4, 2026

No description provided.

Copy link
Copy Markdown
Member

@timwoj timwoj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks reasonable to me.

@timwoj timwoj merged commit 91a552c into zeek:master Mar 5, 2026
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants