FW: Git repo lagging behing

[Marek Polacek]

On Tue, Feb 04, 2014 at 03:59:45PM +0000, Paulo Matos wrote:
> 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.

I believe one of the overseers I don't want to name (hi Frank) will
have a look at this.

	Marek