2 May
2017
2 May
'17
7:47 p.m.
On 05/02/2017 03:06 AM, Mojca Miklavec wrote:
On 2 May 2017 at 01:41, Henri Menke wrote:
No it is not just me:
The machine doesn't even seem to ping for me.
Taco is at TUG / BachoTeX meeting at the moment with close-to-no internet access, so it might be tricky to fix this before Thursday.
It seems to work now. Pablo -- http://www.ousia.tk