debian/5.0+20101122-1

sebastien.villemot@ens.fr

ed59d5bb · Imported Debian patch 5.0+20101122-1 · Aug 30, 2012

Debian release 5.0+20101122-1