Cosa fare se lo sviluppatore ha segnalato una correzione di bug ma il bug si riproduce ancora?