Thu Jun 27 15:33:49 UTC 2019 - diffoscope 115 produced no output and was killed after running into timeout after 120m...