Skip to content
GitLab
Explore
Sign in
Move shutdown of worker pools to SimanticsPlatform.shutdown()