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. David J.
