Greg Atkins <void.is.meaning@gmail.com> writes:
> would you like a bug report to track this?
No, it's already dealt with. In any case, your original email was good
enough --- we track bugs these days more by message-ID than anything else.
regards, tom lane