]> WPIA git - gigi.git/commitdiff
Merge "upd: terminology in API"
authorBenny Baumann <BenBE1987@gmx.net>
Mon, 27 Feb 2017 19:31:01 +0000 (20:31 +0100)
committerGerrit Code Review <gigi-system@dogcraft.de>
Mon, 27 Feb 2017 19:31:01 +0000 (20:31 +0100)

Trivial merge