chiark / gitweb /
[PATCH] fix namedev.c to build with older version of gcc.