Thu Jul 11 17:25:52 UTC 2019 - diffoscope 117 produced no output and was killed after running into timeout after 120m...