Simon Riggs <simon@2ndquadrant.com> writes:
> It's a stupid mistake, but aren't most bugs, in hindsight? That's no
> reason to leave it undocumented.
No, but documentation bloat is. If this were the tenth report of the
same mistake I'd be the first to agree that it was worth a paragraph.
But we have only *one* report. Furthermore, there is no reason to think
that the symptoms are consistent across platforms or PG versions, so
I don't even know what the paragraph should say.
regards, tom lane