debian/0.0.20100201-1.2

Emmanuel Bourg

@ebourg

ce45f539 · Import Debian changes 0.0.20100201-1.2 · Nov 02, 2012

Debian release 0.0.20100201-1.2