Hi, Citing Jonathan (19 Nov 2009):
> 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. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
