chiark / gitweb /
Fix breakage loading up clg-tools.