From: Matthias Urlichs <smurf@smurf.noris.de>
Date: Thu, 21 Apr 2005 23:08:26 GMT
Subject: Re: [PATCH] Missing linefeeds
Message-ID: <20050421230826.GB13311@kiste.smurf.noris.de>
In-Reply-To: <20050421162614.GF30991@pasky.ji.cz>

Hi,

Petr Baudis:
> Why? report() already prints linefeed.
> 
Ah, it didn't when I wrote this.

-- 
Matthias Urlichs   |   {M:U} IT Design @ m-u-it.de   |  smurf@smurf.noris.de