Greg Atkins <void(dot)is(dot)meaning(at)gmail(dot)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