Merge branch 'release/1.12' into develop
updating poms for 1-SNAPSHOT development
committing changes from new origin
updating poms for 1.13 release
updating poms for 1.13 release
updating poms for 1.13 release
Merge branch 'release/1.13'