Re: [Pkg-running-devel] Name errors on devel/people
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-devel@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: treinen@pps.univ-paris-diderot.fr <=====
Reply to: