Comment 3 for bug 442130

Hello Sebastien. I have looked through the gnome bugzilla.

I found this bug: https://bugzilla.gnome.org/show_bug.cgi?id=520851 which may be the same issue I am having. However it is closed as fixed about 1.5 years ago.

So what next: should I report a new bug, or try to get some response by posting on the bug i found?