chiark / gitweb /
[PATCH] fix build error in namedev.c caused by previous patch.