Commit 8b692cd00bf22ee0c1455a6d17590b0e2f207a87

Stefan Sperling 2019-10-21T09:04:57

remove lock files, as intended, when reintegrate gets aborted