From: Johannes Schindelin Date: Fri, 21 Sep 2007 20:41:30 GMT Subject: Re: [PATCH] Use "" instead of "" for placeholders Message-ID: In-Reply-To: <7vk5qjixqy.fsf@gitster.siamese.dyndns.org> Hi, On Fri, 21 Sep 2007, Junio C Hamano wrote: > Michal Vitecek writes: > > [jc: Added Dscho back on CC: list] Thanks. I missed that one. My comment would have been exactly the same. Ciao, Dscho