Patch-gnuradio

At long last the patch-gnuradio list has been converted to mailman.
Hopefully this will reduce some of the spam :wink:

Anyone who was on the old list has been subscribed to the new list.
The list addresses remain the same:

To subscribe:
[email protected]

To post:
[email protected]

Eric