Commit 971751acb8de104ac2f61c202957aeb727ef85fb

Stefan Sperling 2018-03-27T23:20:50

make log -p print an extra newline after diff