Since the owner of the repo http://gcc.gnu.org/git/?p=gcc.git;a=summary is marked as being: [email protected] moving this thread of the gcc mailing list.
Paulo Matos -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Paulo Matos Sent: 04 February 2014 14:08 To: [email protected] Subject: Git repo lagging behing Hi, Don't know if anybody noticed but something's wrong with the git repo. It's lagging behind. Last commit there was: 18 hours ago tejohnson 2014-02-03 Teresa Johnson <[email protected]> which was certainly not the last commit on trunk. Paulo Matos
