L’aggiornamento a 9ebce86fd ha risolto il problema. Grazie a tutti per l’aiuto.
Questo è il secondo aggiornamento recente che ha causato problemi e sembra che non sia facile passare a una release più stabile senza sincronizzarlo correttamente con gli altri branch.