Merge "upd: change wording of header in history page"
authorLucas Werkmeister <mail@lucaswerkmeister.de>
Sat, 25 Jan 2020 18:31:42 +0000 (18:31 +0000)
committerGerrit Code Review <gigi-system@dogcraft.de>
Sat, 25 Jan 2020 18:31:42 +0000 (18:31 +0000)

Trivial merge