Subject: Re: Announce: DEC AlphaServer 8400 is coming
To: <ragge@ludd.luth.se>
From: Jason Thorpe <thorpej@shagadelic.org>
List: port-alpha
Date: 07/27/2005 09:20:33 
On Jul 27, 2005, at 4:17 AM, <ragge@ludd.luth.se>  
<ragge@ludd.luth.se> wrote:

> I've run 2 world compilations without problem on it, and it seems
> to work just fine.

Great, I'll check it in tonight.  (The advantage of this patch over  
Michael's is that it saves a redundant splhigh()/splx() pair).

-- thorpej