From: Pieter de Bie <pdebie@ai.rug.nl>
Date: Sat, 16 Feb 2008 19:17:14 GMT
Subject: Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
Message-ID: <7732B3AD-BF81-4BDD-9C9C-01A35185AE99@ai.rug.nl>
In-Reply-To: <7vir0o90hr.fsf@gitster.siamese.dyndns.org>


On Feb 16, 2008, at 8:15 PM, Junio C Hamano wrote:

> Thanks, but the title should read "redundant, unnecessary", not
> "deprecated", I think.

Well, if I run it:

     bash-3.2$ git reset --mixed -- NEWS
     warning: --mixed option is deprecated with paths.

I included deprecated because it says so in the warning

- Pieter