Commit 056e7441d0bdfa8d8f7b240b34841190cf1864b4

Stefan Sperling 2018-03-11T11:39:48

use a dedicated file for the work tree lock