chiark / gitweb /
debian/changelog: Fix a formatting bug