On Fri August 17 2018 00:29:21 Sl�vek Banko wrote:

> The packages were posted to the official repository a few 
> hours ago. Mirror synchronization has not yet begun ...

> How do you like it?

No communication with mirror operators is bad.  The current
run in progess is configured for a trickle of daily updates
instead of optimally handling a release.

Still hoping for a sensible Debian-like unified repository, at
least for the Debian/Ubuntu parts, instead of all this copying.

--Mike