A new lightweight tag "krb5-1.17-final" has been created in the krb5
repository for the following commit:
commit 97e3c42b2a89a2ec60eb93d3f974769e3e3cbdc5
Author: Greg Hudson <ghudson at mit.edu>
Date: Tue Jan 8 11:02:00 2019 -0500
Update for krb5-1.17