Ok, the bug report has been created in Gnome's bugzilla.

https://bugzilla.gnome.org/show_bug.cgi?id=600241

Nobody's said anything there yet, and it's been about a week.

** Bug watch added: GNOME Bug Tracker #600241
   https://bugzilla.gnome.org/show_bug.cgi?id=600241

-- 
(Javascript syntax highlighter) */ characters incorrectly read when inside a 
regular expression
https://bugs.launchpad.net/bugs/465721
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to