http://mantis.tokeek.de/view.php?id=505 It happens but not able to reproduce. This change makes sure terminate signal is catched at end of currently running merge jobspull/1/head
parent
f94e34058c
commit
706f75ddc2
Loading…
Reference in new issue