2 May
2017
2 May
'17
3:06 a.m.
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. Mojca