krb5/krb5 — pull request #30 by so14k (2013-08-15 21:43:09+00:00)
Title: - Add a note about how to apply/remove policies to the policies section

Glanced at by bjk@