From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 16 Feb 2008 19:15:12 GMT
Subject: Re: [PATCH 1/2] Documentation: Remove deprecated --mixed option in git-reset synopsis
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.