[tex-live] http://www.tug.org down?

[Denis Bitouzé]

Le 09/12/17 à 11h51, Arthur Reutenauer a écrit :

>> Quite strange:
>> 
>>   ┌────
>>   │ ╭─bitouze at drums-bis ~
>>   │ ╰─➤  ping www.tug.org                                                                                                                                                                                                                     2 ↵
>>   │ PING tug.org (91.121.174.77) 56(84) bytes of data.
>>   │ ^C
>>   │ --- tug.org ping statistics ---
>>   │ 10 packets transmitted, 0 received, 100% packet loss, time 9197ms
>
>   All the stranger as you’re probably the one of us nearest to the
> tug.org server since it is in Roubaix ;-)

Wow! :)

Is it hosted by OVH? If so, I'll try to contact it.

Best.
-- 
Denis