bug reporting

[Richard Silverman]

> github is our preferred avenue for patches, while krb5-bugs at mit.edu is
> still our preferred avenue for bug reports... in the specific case of
> your recently submitted bug report (#8579), I think some careful
> analysis of the bug will be required before we know the appropriate
> design for the fix, so a PR might be premature.

That all makes sense; I’ll wait for discussion in RT, then.

Thanks,

-- 
   Richard