Merge branch 'master' into master

This commit is contained in:
Thomas Göttgens
2022-06-01 20:28:12 +02:00
committed by GitHub

View File

@@ -1,4 +1,4 @@
[VERSION]
major = 1
minor = 3
build = 12
build = 13