Subject: Any more known pmax bugs?
To: None <bouyer@ensta.fr>
From: Jonathan Stone <jonathan@DSG.Stanford.EDU>
List: port-pmax
Date: 06/13/1996 01:09:53 
>I used this to be able to boot my 5000/200. Looks very close to your diffs :)
>I was about to send a PR for this, and a few other things, but I didn't find

If you let us know about them this week, they might get fixed
for version 1.2.  If we don't know *this week*, it's too late...