Panne de Reddit affectant des milliers d’utilisateurs suite à la correction d’un bug logiciel