chiark / gitweb /
[PATCH] fixup logging.h to handle different logging options properly.