> On Feb 20, 2017, at 6:59 PM, Skip Tavakkolian <skip.tavakkol...@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.)