Je viens de passer la mise à jour 13.7.2 en OTA sans le moindre problème.
Un "Post-install Root Patch" à l'issue de l'installation.
A noter qu'au redémarrage, le dock, la barre des menus et les menus étaient minuscules alors que la définition était bonne...
