[9fans] sources down?

Hello fans. currently, is sources.cs.bell-labs.com down? on my plan9 box: % ndb/dnsquery > sources.cs.bell-labs.com !dns: dns failure > plan9.bell-labs.com plan9.bell-labs.com ip 135.104.24.16

Re: [9fans] sources down?

> Hello fans. > > currently, is sources.cs.bell-labs.com down? > > on my plan9 box: > > % ndb/dnsquery >> sources.cs.bell-labs.com > !dns: dns failure >> plan9.bell-labs.com > plan9.bell-labs.com ip135.104.24.16 Sources is up again, but it was down for a few hours, I think. > sources.c

Re: [9fans] sources down?

Thanks stevie. My plan9 box resolved sources.cs.bell-labs.com too. >> Hello fans. >> >> currently, is sources.cs.bell-labs.com down? >> >> on my plan9 box: >> >> % ndb/dnsquery >>> sources.cs.bell-labs.com >> !dns: dns failure >>> plan9.bell-labs.com >> plan9.bell-labs.com ip 135.104.24.