]> WPIA git - gigi.git/commitdiff
projects / gigi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | compact (merge: 8437942 3feee2b)
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
WPIA Certificate Web Issuance Platform