9p.io mirrors sources. On Mon, Feb 20, 2017, 7:54 PM Lyndon Nerenberg wrote: > > > On Feb 20, 2017, at 6:59 PM, Skip Tavakkolian < > skip.tavakkolian@gmail.com> wrote: > > > > 9pi (bcm) kernel: maintained by Richard Miller; sources are in contrib > area on Labs' sources > > We really need to make sure the Labs' public fileserver is getting > mirrored someplace. I doubt it will be very long before it vanishes > altogether. (I'm surprised it's still around, in fact.) > > >