On 14/10/2018 03:15, Erik Leunissen wrote:
> I can't connect since sometime yesterday (13-okt; Amsterdam time zone).
Yes. We know. It's out for everyone; looks like the VM is unreachable.
Donal.
--
Donal Fellows — Tcl user, Tcl maintainer, TIP editor.