http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52239
--- Comment #5 from Frédéric Buclin <LpSolit at netscape dot net> 2013-04-18 16:19:51 UTC --- I saw that the OS has finally been upgraded to RHEL6. This means that it's now possible to upgrade to Bugzilla 4.4. I won't have time this month, but that's doable during next month.