On Tue, Nov 12, 2013 at 8:09 AM, Sylvain Munaut <[email protected]> wrote: > 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
ACK. Thanks for clarifying. Fixed. Tom _______________________________________________ Discuss-gnuradio mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
