Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 16, 2008, 19:15 UTC
- Message-ID
- <7vir0o90hr.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <1203180526-12020-1-git-send-email-pdebie@ai.rug.nl>
Thanks, but the title should read "redundant, unnecessary", not "deprecated", I think.