Skip to content

Name the shutdown hook#3170

Merged
olamy merged 1 commit intomasterfrom
name-shutdown-hook
Aug 16, 2025
Merged

Name the shutdown hook#3170
olamy merged 1 commit intomasterfrom
name-shutdown-hook

Conversation

@cstamas
Copy link
Copy Markdown
Member

@cstamas cstamas commented Aug 15, 2025

Fixes #3169

@olamy olamy added the enhancement New feature or request label Aug 16, 2025
@olamy olamy merged commit 1e63159 into master Aug 16, 2025
40 checks passed
@olamy olamy deleted the name-shutdown-hook branch August 16, 2025 08:48
@github-actions github-actions Bot added this to the 3.5.4 milestone Aug 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Do not create anon thread

3 participants