On Tue, Feb 04, 2014 at 03:59:45PM +, 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
>
> which was certainly not the last commit on trunk.
I b
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-ow...@gcc.gnu.org [mailto:gcc-help-ow...@gcc.gnu.org] On Behalf
Of Paulo Matos
Sent: 04
