Commit e730157933b56de990631fcd0c36592713b32120

Stefan Sperling 2019-03-18T16:54:15

fix 'got log PATH' in a bare git repository; broken by previous