Hi Wolfram,

> Hi Wolfgang,
Wolfram, please...

-EFAIL .... i was on the phone with a Wolfgang for several hours today :)
i know you are called Wolfram ... sorry

> should we take 1/7 and 6/7 via the mips tree ?
> > Should go via subsystem tree
Yes :)


OK, I'll pull them into my mips-next tree now

    John