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

From: Junio C Hamano <[email-masked]>
Date: Sat, 16 Feb 2008 11:15:12 -0800

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