Stephen Frost <sfrost@snowman.net> writes:
> If we just agree to always use the message-ID of the first message in
> the thread when we're closing out a bug, and people are happy with using
> message-ID, then I'm not really sure what the bug # is doing for us (and
> I see that that question from my prior email wasn't answered).
Yeah, I'm coming to the conclusion that there's nothing worth changing
here. In an ideal world we'd have a bug number for every bug, but we'd
have to give up more than that's worth.
regards, tom lane