krb5: new tag krb5-1.12.1-final

[Tom Yu]

A new lightweight tag "krb5-1.12.1-final" has been created in the krb5
repository for the following commit:

commit 7df6bce331e6669d1825061c76dba5c3dad86733
Author: Tom Yu <tlyu at mit.edu>
Date:   Wed Jan 15 18:24:20 2014 -0500

    Updates for krb5-1.12.1