Errore per gli utenti connessi e blocco di Git

Perfetto, ho unito la PR. Aggiornami quando arriverà nel canale di release che utilizzi, poi aspetta qualche giorno che GitHub vada di nuovo giù e fammi sapere com’è andata.