krb5: new tag krb5-1.18.2-final

[Greg Hudson]

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

commit 4c3063afb4a4b141b70d56aa381784f7efd637c9
Author: Greg Hudson <ghudson at mit.edu>
Date:   Thu May 21 20:20:18 2020 -0400

    Update for krb5-1.18.2