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 <[email protected]> > 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: [email protected] <===== -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

