chiark / gitweb /
[PATCH] remove logging.c as it's no longer needed.