v7.12.0
·
114 commits
to refs/heads/master
since this release
Merge pull request #156 from geoadmin/develop New Release v7.12.0 - #minor
Merge pull request #156 from geoadmin/develop New Release v7.12.0 - #minor