I have a bug, #3930, that was closed as a dupe. I think there was an error in that though, because the dupe that is referenced is nothing like the bug in question.

I am posting here because I don't seem to have permission to re-open tickets, and there's already a fair amount of information for that ticket that I didn't want to create a new one.

Please advise -- thanks!