chiark / gitweb /
update_head_postlaunder: print a message, if anything changed