Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
From: Pieter de Bie <hidden>
Date: 2016-06-15 22:44:14
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