Hello, On Sat, Dec 22, 2012 at 10:00:47PM +0900, victory wrote: > On Sat, 22 Dec 2012 14:41:22 +0200 > Andrei POPESCU wrote: > > > > > Debian running develpment group is a misspelling of Debian running > > > > development group. > > grep -i -r develpment > > doesn't find anything, more information is necessary. > > google answered it > that's devel/people and cited from package > Debian running develpment group <pkg-running-de...@lists.alioth.debian.org> > main: garmin-plugin
oops, I'll fix that in the next upload of garmin-plugin. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treinen/ =====> New email address: trei...@pps.univ-paris-diderot.fr <===== -- To UNSUBSCRIBE, email to debian-www-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20121222182225.ga15...@pps.jussieu.fr
