Commit 1cb46f007dad47a45d2c2d32aaeee11372f95309

Stefan Sperling 2020-11-21T15:34:19

consistently label removed files as "/dev/null" in diff headers