From: Eric Raible Date: Thu, 11 Sep 2008 06:15:34 GMT Subject: Re: RFC: perhaps a Message-ID: In-Reply-To: Changsheng Jiang gmail.com> writes: > > I don't know what version of you git, my git with version 1.5.4.5 > doesn't delete the file file42 after git-reset. All examples from me are version 1.6.0.1.436.g09e16c.dirty or later.