chiark / gitweb /
make-public: Use cfgfile_log, not system_log