A new lightweight tag "krb5-1.17-beta2" has been created in the krb5
repository for the following commit:
commit baf765fac6af211762f5f3030b890f025aa81adc
Author: Greg Hudson <ghudson at mit.edu>
Date:   Wed Dec 5 11:15:23 2018 -0500
    Update for krb5-1.17-beta2