On Thu, Dec 05, 2002 at 01:10:09PM +0100, Geert Uytterhoeven wrote: > On Thu, 5 Dec 2002, Kevin D. Kissell wrote: [..snip..] > > Given that we're working on a port to MIPS, not > > SGI, wouldn't it be more appropriate? > > Yes, if some talented person can create a nice penguin/mips logo, that would be > nice. Can we keep the SGI logo for the SGI IP22, IP27 & IP32 subarchitectures? -- Guido