[krbdev.mit.edu #2725] missing bug report

[Tom Yu via RT]

[guest - Fri Sep 24 10:37:39 2004]:

> (BTW: I send a bug with the krb5-send-pr utility but I may have done it
> wrong or something, because its been a day and I've not seen it show up
> in my mail.)

I don't think it has shown up yet.  Do your outbound mail logs show it being sent?  You could 
file the bug via the web interface; I'll just merge them if there ends up being duplication.