Merge remote-tracking branch 'origin/v5' into v5

This commit is contained in:
Alexander Söderberg 2020-06-23 18:37:00 +02:00
commit e17222dd19
No known key found for this signature in database
GPG key ID: C0207FF7EA146678

View file

@ -30,7 +30,7 @@ ext {
git = Grgit.open(dir: new File(rootDir.toString() + "/.git"))
}
def ver = "5.12.0"
def ver = "5.12.1"
def versuffix = ""
ext {
if (project.hasProperty("versionsuffix")) {