On Wed, Mar 27, 2024 at 03:20:38PM -0700, David G. Johnston wrote: > On Wed, Mar 27, 2024 at 3:18 PM David G. Johnston <david.g.johns...@gmail.com> > wrote: > > On Wed, Mar 27, 2024 at 3:13 PM Bruce Momjian <br...@momjian.us> wrote: > > On Wed, Mar 27, 2024 at 06:09:02PM -0400, Bruce Momjian wrote: > > On Wed, Mar 27, 2024 at 11:05:55AM -0400, Robert Haas wrote: > > > On Wed, Mar 27, 2024 at 10:43 AM Jelte Fennema-Nio < > postg...@jeltef.nl> wrote: > > > > Alright, changed the GUC name to "allow_alter_system" since that > seems > > > > to have the most "votes". One other option would be to call it > simply > > > > "alter_system", just like "jit" is not called "allow_jit" or > > > > "enable_jit". > > > > > > > > But personally I feel that the "allow_alter_system" is clearer > than > > > > plain "alter_system" for the GUC name. > > > > > > I agree, and have committed your 0001. > > > > So, I email "Is this really a patch we think we can push into PG 17. > I > > am having my doubts," and the patch is applied a few hours after my > > email. Wow. > > Also odd is that I don't see the commit in git master, so now I am > confused. > > > The main feature being discussed is in the 0002 patch while Robert pushed > a > doc section rename in the 0001 patch. > > > > Well, the internal category name was changed though the docs did remain > unchanged.
Yes, I figured that out, thank you. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.