Skip to content
Snippets Groups Projects
Commit e681ba1f authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Make sure WorkManager.pool is closed at exit

parent 82b26efb
No related branches found
No related tags found
Checking pipeline status