HBX-3132: Update version identifiers in Jenkinsfile to 7.1.3.Final and 7.1.4-SNAPSHOT respectively#5543

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

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