http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52239
--- Comment #3 from Frédéric Buclin <LpSolit at netscape dot net> 2012-08-14 18:58:00 UTC --- Another reason why I cannot simply download the 4.2 tarball and install it till bzr is available: Bugzilla 4.2 requires MySQL 5.0.15, but the version available is 4.1.22, a way too old version of MySQL.