Skip to content

Minor threadpool cleanup#748

Merged
wvpm merged 1 commit into
masterfrom
minor_threadpool_cleanup
May 21, 2026
Merged

Minor threadpool cleanup#748
wvpm merged 1 commit into
masterfrom
minor_threadpool_cleanup

Conversation

@wvpm
Copy link
Copy Markdown
Contributor

@wvpm wvpm commented May 20, 2026

No description provided.

@wvpm wvpm requested a review from a team as a code owner May 20, 2026 20:30
@wvpm wvpm added enhancement New feature or request topic:codestyle labels May 20, 2026
@wvpm wvpm enabled auto-merge May 20, 2026 20:37
@Spartan322 Spartan322 force-pushed the minor_threadpool_cleanup branch from c8bd774 to 470c037 Compare May 21, 2026 00:51
@wvpm wvpm merged commit 93e1668 into master May 21, 2026
16 checks passed
@wvpm wvpm deleted the minor_threadpool_cleanup branch May 21, 2026 08:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request topic:codestyle

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants