HBX-3144: Update version identifiers in Jenkinsfile to 7.1.4.Final and 7.1.5-SNAPSHOT respectively#5566

koentsje merged 1 commit intohibernate:mainhibernate/hibernate-tools:mainfrom

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