chiark / gitweb /
Fix Lintian doc-base-abstract-might-contain-extra-leading-whitespaces warning