krb5/krb5 — pull request #177 by greghudson (2014-07-21 18:27:24+00:00)
Title: Profile deletion, top-level section modification bugs

Neng closed pull request #163, so I'm opening one for my branch. The first two commits fix bugs; the third adds tests.