Skip to content

Spring cleaning - hotfix

Choose a tag to compare

@guglielmo guglielmo released this 18 Jun 16:47
· 48 commits to master since this release

A hotfix was required for this release, for a bug that prevented the taskmanager to work properly.