Justin Pryzby <pryzby@telsasoft.com> writes:
> ...but, I realized just now that *zero* other GUCs use "REPLICATION".
> And the documentation puts it in 20.6.1. Sending Servers,
> so it still seems to me that this is correct to move this, too.
> https://www.postgresql.org/docs/devel/runtime-config-replication.html
> Then, I wonder if REPLICATION should be removed from guc_tables.h...
For the archives' sake --- these things are now committed as part of
a55a98477. I'd forgotten this thread, and then rediscovered the same
inconsistencies as Justin had while reviewing Bharath Rupireddy's patch
for bug #16997 [1].
I think this thread can now be closed off as done. However, there
are some open issues mentioned in the other thread, if anyone here
wants to comment.
regards, tom lane
[1] https://www.postgresql.org/message-id/flat/16997-ff16127f6e0d1390%40postgresql.org