chiark / gitweb /
remove pointless debhelper log (!)