A new lightweight tag "krb5-1.13-alpha1" has been created in the krb5
repository for the following commit:
commit a8c4205341b42445d7adf2ffe2b7cecb65701035
Author: Tom Yu <tlyu at mit.edu>
Date:   Wed Aug 20 15:24:46 2014 -0400
    Updates for krb5-1.13-alpha1