Upcoming changes in Z-Push release repositories

We are planning to do the final release of Z-Push 2.5.0 and therefore the changes in the repositories on the 08.05.2019. The final repository will then contain Z-Push 2.5.X versions. The old-final will contain Z-Push 2.4.X versions. There will also be changes in the...