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
No comments:
Post a Comment