Fix Collision error not reported when paused#546

erdii merged 1 commit into

mainpackage-operator/boxcutter:mainfrom

bugfix/collisionerrorpaused-rebasedpackage-operator/boxcutter:bugfix/collisionerrorpaused-rebasedCopy head branch name to clipboard