Commit 09f5bd908b0b901f2123f462e4800e76a3d1b10e

Stefan Sperling 2019-05-09T15:33:57

try to detect concurrent commits; not perfect yet (see comments)