Re: CVS 02/06/00 - Problem report

[Dekel Tsur]

On Tue, Jun 06, 2000 at 12:46:55PM +0200, Juergen Vigna wrote:
> 
> So this substitutes your patch I applied locally? So I don't have to
> submit it? (As I've seen Lars already applied this one!)

Yes