Mon Jul 20 15:08:33 UTC 2020 - diffoscope 152 produced no output and was killed after running into timeout after 120m...