jstaerk 36c6546551 manually applying @rchilumukoti patch, closes #491 (I hope)

2024-10-03 12:04:29 +02:00

..

src

manually applying @rchilumukoti patch, closes #491 (I hope)

2024-10-03 12:04:29 +02:00

pom.xml

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

2024-09-23 18:52:01 +02:00