Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis

Pieter de Bie [off-list ref] 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.