chiark / gitweb /
[PATCH] turn off debugging in namedev