chiark / gitweb /
fix debconf-devel(7) man page section; closes: #189512