[Pkg-running-devel] Name errors on devel/people

[Ralf Treinen]

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 at 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 at pps.univ-paris-diderot.fr <=====