Commit 99437157b9e800c9893cc896f72c552613dd0cbd

Stefan Sperling 2018-11-11T12:52:59

abort checkout operations cleanly when Ctrl-C is hit