krb5: new tag krb5-1.15.2-final

[Greg Hudson]

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

commit d3cb9e2fbc6a5c7ff67de46473467be127c2df76
Author: Greg Hudson <ghudson at mit.edu>
Date:   Mon Sep 25 12:26:34 2017 -0400

    Update for krb5-1.15.2