We have just released Z-Push 2.7.2.

This release includes general bugfixes with

no new major features.

Install Z-Push 2.7.2 final from the repo Releases (recommended) Z-Push Releases.

Thanks a lot to all Z-Push contributors! Your contributions are highly appreciated.

Code changes since Z-Push 2.7.1: https://github.com/Z-Hub/Z-Push/compare/2.7.1...2.7.2

Please share your experiences (positive and negative) and give feedback on the discussion post!