From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Wed, 25 Sep 2013 16:36:34 GMT
Subject: Re: [PATCH v3] build: add default aliases
Message-ID: <CAMP44s3AtmJ7juRvfk4+StBqskv0tvukaLv9wMD0ymGVinOXGw@mail.gmail.com>
In-Reply-To: <vpqy56ksx8y.fsf@anie.imag.fr>

On Wed, Sep 25, 2013 at 11:05 AM, Matthieu Moy
<Matthieu.Moy@grenoble-inp.fr> wrote:
> Felipe Contreras <felipe.contreras@gmail.com> writes:
>
>> Last time I checked nothing has changed, the default remains
>> push.default=matching.
>
> LOL.

I'd take that as an admission that you don't have any examples of
important changes in the past two years, at least.

-- 
Felipe Contreras