debian/0.9.72-1

Agustín Martín Domingo

@agmartin

9d299dc3 · debian/changelog: Add some info about changes in new upstream version. · May 04, 2016

linuxdoc-tools Debian release 0.9.72-1