was a4b58ddc7b8ec80010dfa30dc6c4ac1ce69858da ----------------------------------------------------------------------- a4b58ddc7b8ec80010dfa30dc6c4ac1ce69858da 8123: Escape HTML chars in page title. ----------------------------------------------------------------------- hooks/post-receive --