Surely this was a typo.
Merge branch 'master' of github.com:jenkinsci/jenkins
Collected common idiom into logRecords.jelly.
Clearer display of log messages: chronological order, and coloration of repeated vs. fresh metadata.