Er is al 2 weken een bug in productie, dat zich alleen bij 3% van de gebruikers en alleen op Wi-Fi voordoet. De ontwikkelaar kan het niet reproduceren en zegt dat hij de bug over 10 minuten zal sluiten. Wat zou je doen?