HBX-3243: Update version identifiers in Jenkinsfile to 7.1.12.Final and 7.1.13-SNAPSHOT respectively#5831

koentsje merged 1 commit intohibernate:7.1hibernate/hibernate-tools:7.1from

koentsje:HBX-3243koentsje/hibernate-tools:HBX-3243Copy head branch name to clipboard