krb5: new tag krb5-1.20-final

[ghudson at mit.edu]

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

commit fea39a0daeed8720b5c6fe095a81d8ca158351d2
Author: Greg Hudson <ghudson at mit.edu>
Date:   Wed May 25 21:31:55 2022 -0400

    Update for krb5-1.20