chiark / gitweb /
[PATCH] fix the build for older versions of gcc