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
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