Skip to content

Shut down the command line's thread pool when formatting is done - #47

Merged
abashev merged 1 commit into
mainfrom
close-thread-pool
Sep 23, 2026
Merged

Shut down the command line's thread pool when formatting is done#47
abashev merged 1 commit into
mainfrom
close-thread-pool

Commits

Commits on Sep 23, 2026