From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 24 Jun 2007 00:55:11 GMT
Subject: Re: [PATCH][RESEND] Escape some tilde characters causing spurious subscripts in documentation
Message-ID: <Pine.LNX.4.64.0706240154090.4059@racer.site>
In-Reply-To: <31e9dd080706231722v760b5a0cnc31e24b83deafb90@mail.gmail.com>

Hi,

On Sat, 23 Jun 2007, Jason Sewall wrote:

> Anyway, 8.1.0 is apparently what's in Fedora 7 (the distro I'm using 
> right now) so it might be worth hanging on to the patch.

Oh yes, definitely, if it fixes a bug that you encountered! I was just 
asking out of curiousity; I did not think that the patch was not 
necessary...

Ciao,
Dscho