+2013-04-11 Release Manager
+
+ * GCC 4.7.3 released.
+
+2013-04-03 Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+ PR target/56771
+ * configure.ac: Require 64-bit int for arm*-*-rtems[.0-9]*.
+ * configure: Regenerate.
+
+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.