chiark / gitweb /
chiark-named-conf: Remove obsolete +nodebug option from calls