Skip to content
GitLab
Explore
Sign in
Register
simantics
platform
Issues
#212
Move shutdown of worker pools to SimanticsPlatform.shutdown()