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. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com Only you can decide what is important to you.