Commit 9bead371155cd3f955ba6699b0819df23f008bea

Stefan Sperling 2019-07-28T10:28:25

relax commit out-of-dateness check: consider file content only