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

[Arthur Reutenauer]

On Sat, Dec 09, 2017 at 10:49:57AM +0100, Denis Bitouzé wrote:
> Le 09/12/17 à 18h36, Norbert Preining a écrit :
> 
>> No problem here in Japan.
> 
> 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 ;-)

	Best,

		Arthur