GitLab

Bugfix. There where two condition races that could happen if the main thread terminated earlier than the auxiliary thread when using the merge shrink.