krb5/krb5 — pull request #42 by tlyu (2014-01-28 19:43:30+00:00)
Title: Remove krb5-send-pr

Remove the GNATS-based krb5-send-pr script and replace it with a
script that instructs users to send email.

ticket: 7840 (new)