Mon May 25 13:37:43 UTC 2020 - diffoscope 145 produced no output and was killed after running into timeout after 120m...