+2014-02-02 Uros Bizjak <ubizjak@gmail.com>
+
+ Backport from mainline
+ 2012-05-09 David Edelsohn <dje.gcc@gmail.com>
+
+ * gcc_update: Use $GCC_SVN to retrieve branch and revision.
+
+2013-04-11 Release Manager
+
+ * GCC 4.7.3 released.
+
2012-09-20 Release Manager
* GCC 4.7.2 released.