Commit a4c23852c6c16759785b24201b222fa5c41803c2

Stefan Sperling 2020-02-14T10:25:50

gotweb: decorate only the branch's tip commit ID with "(branch)"; add XXX