On Mon, Nov 4, 2024 at 08:02:18AM +0100, Peter Eisentraut wrote:
> I'm surprised this was committed. I don't think there was consensus that
(thread moved to docs)
Well, I posted the final patch on October 15, and though the thread was
active with comments, no one had any feedback for my patch s
On Thu, Oct 31, 2024 at 03:24:06PM -0400, Bruce Momjian wrote:
> On Mon, Oct 21, 2024 at 02:01:37AM +, PG Doc comments form wrote:
> > The following documentation comment has been logged on the website:
> >
> > Page: https://www.postgresql.org/docs/17/bug-reporting.html
> > Description:
> >
>
