On Mon, 9 Nov 2009, Christoph Egger wrote:
PR port-amiga/38335 and PR port-amiga/42174.You mean port-alpha, right ?
Yes, I meant port-alpha. I seem to frequently mis-typing them, they both are ingraind in my finger memory.
-- Michael L. Hitch mhitch%montana.edu@localhost Computer Consultant Information Technology Center Montana State University Bozeman, MT USA