Andreas Dangel b608a676b5 Merge branch 'pr-1727'

2019-03-30 17:46:33 +01:00

..

src

Merge branch 'pr-1727'

2019-03-30 17:46:33 +01:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2019-02-24 08:57:18 +01:00