]> WPIA git - gigi.git/commitdiff
Merge "chg: adjust ticket number handling according to current number scheme"
authorFelix Dörre <felix@dogcraft.de>
Mon, 25 Dec 2017 01:40:31 +0000 (02:40 +0100)
committerGerrit Code Review <gigi-system@dogcraft.de>
Mon, 25 Dec 2017 01:40:31 +0000 (02:40 +0100)

Trivial merge