[m-dev.] diff: fix --thread-safe bug in scripts/ml.in

[Thomas Conway]

On Thu, Feb 10, 2000 at 06:30:04AM EST, Fergus Henderson wrote:
> On 08-Feb-2000, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> > 
> > Any luck with the Linux bug?
> 
> No.
> 
	[deletia]

Thanks for looking.
-- 
 Thomas Conway )O+     Every sword has two edges.
     Mercurian            <conway at cs.mu.oz.au>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------