CVSROOT: /cvs/debian-doc Module name: ddp Changes by: jseidel 07/04/18 13:56:23 Modified files: manuals.sgml/debian-bugs: debian-bugs.de.sgml Log message: Applied further patch by Mario Iseli <mario@marioiseli.com>