chiark / gitweb /
[PATCH] clean up some debugging stuff in namedev.c