Re: 33 unknowns left

[Tom Tromey]

>> mkoch = mkoch <mkoch>
Jeff> Michael Koch?  konque...@gmx.de/

Yes; and he has an entry in /etc/passwd, so maybe the conversion script
has a bug?

Tom