FW: Git repo lagging behing

[Paulo Matos]

Since the owner of the repo http://gcc.gnu.org/git/?p=gcc.git;a=summary is marked as being: gcc@gcc.gnu.org
moving this thread of the gcc mailing list.

Paulo Matos


-----Original Message-----
From: gcc-help-owner@gcc.gnu.org [mailto:gcc-help-owner@gcc.gnu.org] On Behalf Of Paulo Matos
Sent: 04 February 2014 14:08
To: gcc-help@gcc.gnu.org
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 <tejohnson@google.com>

which was certainly not the last commit on trunk.

Paulo Matos