Apparently the script we have converting output of krb5-send-pr into the new system is not quite working correctly. It generates valid tickets in the database, but it never gets around to sending the text of the ticket to the list; instead it sends a blank message. I'll look at this.