Il y a aussi quelques bons conseils sur la façon de mettre à jour manuellement depuis le serveur dans ce sujet :
Un ./launcher rebuild app peut souvent être un bon plan B, et si vous rencontrez des erreurs pendant celui-ci, vous pouvez remonter et lire.
4 « J'aime »