-2013-04-11 Release Manager
+2013-05-31 Release Manager
- * GCC 4.7.3 released.
+ * GCC 4.8.1 released.
-2012-09-20 Release Manager
+2013-03-22 Release Manager
- * GCC 4.7.2 released.
-
-2012-06-14 Release Manager
-
- * GCC 4.7.1 released.
-
-2012-03-22 Release Manager
-
- * GCC 4.7.0 released.
+ * GCC 4.8.0 released.
2010-06-27 Ralf Wildenhues <Ralf.Wildenhues@gmx.de>