Je pense avoir bien mérité quelques jours de repos, totalement déconnectés.

Je serais donc absent jusqu'à la fin du mois, et le dépôt ne recevra donc aucune mise à jour avant septembre (e.g. PHP 5.6.25 ou 7..10).

Soyez patient ;)