+2013-04-11 Release Manager
+
+ * GCC 4.7.3 released.
+
+2012-09-20 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.
+
2011-11-21 Gerald Pfeifer <gerald@pfeifer.com>
* update_web_docs_svn: Make $DOCSDIR group writable after