La mise à jour vers 9ebce86fd a résolu le problème. Merci à tous pour leur aide.
Il s’agit de la deuxième mise à niveau récente qui a entraîné des problèmes, et il semble qu’il ne soit pas facile de passer à une version plus stable sans la synchroniser correctement avec les autres branches.