Re: [9fans] 9p.io down?

2023-11-04 Thread William Maddox
That last message was me, not anything official.  Seems I hadn't set a user 
name, so it used the username from the email address that I use here.
--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-Mb0ca13553c4f93b2f10cb22e
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


Re: [9fans] 9p.io down?

2023-11-04 Thread 9fans
Seems to be back up now.
--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-Ma637c81f37f507d0c5aef505
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


Re: [9fans] 9p.io down?

2023-11-04 Thread Lyndon Nerenberg (VE7TFX/VE6BBM)
Yaroslav K writes:
> Do we know what=E2=80=99s up with 9p.io, the current sources host?

Pings (v4 and 6) to nearby addresses work, so it looks like the
host itself is down.

--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-Mbf332bb9fb0f83f30583f883
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription


[9fans] 9p.io down?

2023-11-04 Thread Yaroslav K
Do we know what’s up with 9p.io, the current sources host?
--
9fans: 9fans
Permalink: 
https://9fans.topicbox.com/groups/9fans/T1250ef82fbb8d6ed-M83a33663f0d1ddff72587843
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription