Release version 5.1.2
Start next development version 5.1.3-SNAPSHOT