Merge branch 'bug30184_029' into bug30184_034

"ours" merge, because 0.3.4 has a different set of changes,
which already compile.
This commit is contained in:
teor 2019-04-17 11:51:32 +10:00
commit dfdd877647
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A

Diff Content Not Available