Select Git revision
- Branches 20
- feature-15252
- feature-16264
- hotfix-cmake
- hotfix-15686
- bugfix-15960
- hotfix-15146_d
- master default protected
- hotfix-15146
- feature-15728_port
- hotfix-16460
- feature-15728
- hotfix-15559
- release-5.4 protected
- hotfix-15244
- hotfix-15244_d
- hotfix-jsonc-as-subdir
- bigint
- feature-16340
- feature-15942
- develop protected
-
Merge branch 'support-13985' into 'master' · 2a3d5ea7Constantin P. authored
support-13985 See merge request !1929
2a3d5ea7