[Release] 1.19.0#955

Merged

saig0 merged 5 commits intomainfrom

Dec 10, 2024

Commits on Dec 10, 2024

[maven-release-plugin] prepare release 1.19.0
github-actions[release]@users.noreply.github.com
committed
[maven-release-plugin] prepare for next development iteration
github-actions[release]@users.noreply.github.com
committed
docs: Update the changelog for 1.19.0
saig0
committed
docs: Add new docs version for 1.19.0
saig0
committed
repl: Update REPL version
saig0
committed