hi all, is everything OK with our bugtracker's notification system? I've received tens of duplicate notifications (bug #7876) in last hours. Can anybody confirm it? Fix it? ;) cheers, Petr