Merge gambas3 (3.12.2-1) import into refs/heads/workingbranch
authorBastian Germann <bastian.germann@fishpost.de>
Tue, 15 Jan 2019 21:40:44 +0000 (21:40 +0000)
committerBastian Germann <bastian.germann@fishpost.de>
Tue, 15 Jan 2019 21:40:44 +0000 (21:40 +0000)

Trivial merge