Markus, Ken,

Is this bug present in MIT krb5?

Nico
--