Release version 7.1.2
Start next development version 7.1.3-SNAPSHOT