[PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis · Pieter de Bie <hidden> · 2016-06-15
[PATCH 2/2] Documentation: Add a usage case of git-reset with path · Pieter de Bie <hidden> · 2016-06-15
Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis · Junio C Hamano <hidden> · 2016-06-15
Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis · Pieter de Bie <hidden> · 2016-06-15

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

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:44:14

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