]> WPIA git - gigi.git/commitdiff
Merge "chg: use imported name"
authorFelix Dörre <felix@dogcraft.de>
Mon, 17 Dec 2018 19:40:02 +0000 (20:40 +0100)
committerGerrit Code Review <gigi-system@dogcraft.de>
Mon, 17 Dec 2018 19:40:02 +0000 (20:40 +0100)

Trivial merge