chiark / gitweb /
script: Break out pinned_log_message