From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 16 Feb 2008 20:10:21 GMT
Subject: Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
Message-ID: <7vr6fc7jde.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <7732B3AD-BF81-4BDD-9C9C-01A35185AE99@ai.rug.nl>

Pieter de Bie <pdebie@ai.rug.nl> writes:

> Well, if I run it:
>
>     bash-3.2$ git reset --mixed -- NEWS
>     warning: --mixed option is deprecated with paths.

Yeah, you are right.

The patch is on 'maint' (but it will be quite a while before I
can push it out).

Thanks.