From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 18 Apr 2006 14:50:22 GMT
Subject: Re: [PATCH] git-rev-list: fix --header
Message-ID: <Pine.LNX.4.63.0604181649510.2140@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <7vhd4rlw0m.fsf@assigned-by-dhcp.cox.net>

Hi,

On Mon, 17 Apr 2006, Junio C Hamano wrote:

> Still undecided.  As you say it is an easy change, so I'd rather
> leave the behaviour as before for now.

Okay, I'd say go with the shorter (your) solution.

Ciao,
Dscho