krb5/krb5 — pull request #85 by wfiveash (2014-03-19 21:56:28+00:00)
Title: Fix issue where profile data is written out but the profile cache is not

updated when profile_update_file_data_locked() is called. The simple
fix is to clear the last_stat field when data is written which causes
profile_update_file_data_locked() to read the profile file again and
update the profile cache.