Ultrix status/thinking

[John_Kolojejchick@H.GP.CS.CMU.EDU]

So what is the status/thinking regarding the Ultrix port of CMU CL?  I
either missed the outcome of the most recent discussion about this
port, or it was decided offline.

I know someone who's interested in it, and is willing to pit his
Ultrix expertise against it for a couple of weekends if that's likely
to generate a port.  He's in Pittsubrgh, so if putting him and William
in a room together and shaking vigoursly will generate a port, that's
an option.

Can someone bring me up to date?

						-jake