Marcin Grzejszczak 5e9fa908b4 Merge branch '1.3.x'

2017-08-29 15:59:39 +02:00

..

src/main

Migrated to new docs; fixes #2237

2017-08-29 15:54:31 +02:00

pom.xml

Merge branch '1.3.x'

2017-08-29 15:59:39 +02:00