My holidays start today, time for me to take some rest, in offline mode.

So, the repository won't be updated before the 1st of August.