5.1.2

github-actions released this 29 Jul 14:05

· 49 commits to master since this release

b8fd273

Change Log

5.1.2 (2025-07-29)

5.1.2 (2025-07-29)

Merged pull requests:

Fix Wiki dependencies #363 (@vostres)
Host Javadoc on Github Pages #356 (@vostres)

Assets 18