On 18/07/18 22:31, Lars Hupel wrote:
>> In the past 2 days the isabelle_cronjob could not connect to
>> https://isabelle.in.tum.de/repos/isabelle -- but it appears to work from
>> most other hosts that I've tried. Maybe some odd change concerning SSL
>> certificates on the server vs. client side?
In the past 2 days the isabelle_cronjob could not connect to
https://isabelle.in.tum.de/repos/isabelle -- but it appears to work
from
most other hosts that I've tried. Maybe some odd change concerning SSL
certificates on the server vs. client side?
That's indeed strange. There was an issue