Comment 3 for bug 1417255

Revision history for this message
Klaas Kouwen (kkouwen) wrote :

Found out I have to do a full reset of my system (after deleting the database) before the change is noticed. Only restarting the browser wasn't enough. Didn't realize that. Things are OK now. Thanks