Hi,


I noticed that krb5-1.15.1-51 is missing from CentOS7. The previous
version is now both in base and in updates.

I'm guessing that somehow there has been made a small error, so that #50
is in the updates instead of #51


Jacco