chiark / gitweb /
fix a bug in how we deal with debian/control