On Fri, May 14, 2010 at 05:46, Ralf Treinen <ralf.trei...@pps.jussieu.fr> wrote:
>> There is some discussion around renaming 'grc' to 'gnuradio', but the >> team is not yet decided. > > What is the result of that discussion? The freeze is approaching, so I > guess we should come to a conclusion concerning this bug. We decided not to do this. Bdale had marked the package as conflicting with the package that has the 'grc' binary, and we're happy with that. Is the status quo okay to continue? Johnathan -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
