]> WPIA git - gigi.git/commitdiff
projects / gigi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0ec7415 805ff35)
Merge "upd: replace preferred name by user id in points issued table"
authorBenny Baumann <BenBE1987@gmx.net>
Wed, 27 Jul 2016 17:03:59 +0000 (19:03 +0200)
committerGerrit Code Review <gigi-system@dogcraft.de>
Wed, 27 Jul 2016 17:03:59 +0000 (19:03 +0200)

Trivial merge
WPIA Certificate Web Issuance Platform