Hi, > You sure? It's there on all my machines after a pull. > > http://gnuradio.org/cgit/gnuradio.git/tag/?id=v3.7.1.1
Indeed it seems to be on gnuradio.org but not on the github mirror and I was using the latter. Cheers, Sylvain _______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
