Subject: Re: Can anybody close bin/17308 ?
To: Julio Merino <email@example.com>
From: Manuel Bouyer <firstname.lastname@example.org>
Date: 10/12/2002 17:46:23
On Sat, Oct 12, 2002 at 05:18:55PM +0200, Julio Merino wrote:
> This old PR is wrong, as I sent in a message to the audit trail... but as it seems
> it's still open. The problem is that I didn't realize that I need to use make
> options if I wanted to use Makefile.boot. Can anybody close it, please?
> Thank you, and sorry.
Manuel Bouyer <email@example.com>