Re: [Discuss-gnuradio] GNU Radio releases 3.7.1.1 and 3.7.2 available for download

[Sylvain Munaut]

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