FYI, The gnuradio.org server is down right now. We're working on it. Should be back later on this afternoon. Trying to find the real cause, as opposed to just rolling back to the latest snapshot.
Eric _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org http://lists.gnu.org/mailman/listinfo/discuss-gnuradio
