chiark / gitweb /
Infrastructure: Improve an error message in dgit-repos-policy-debian.