The gnuradio.org server seems to be down. (9 Jun 2010) Even a ping times out.
Martin _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
- [Discuss-gnuradio] gnuradio.org seems to be down Martin DvH
