I'm sorry, I intended to send this to the gnuradio package, not the source
package.  I've realized my mistake (reportbug used the "source" option
instead of "package" and I didn't notice) and resubmitted over there.

-- 
-Karl

Reply via email to