> On 17 Jan 2024, at 18:05, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> Alvaro Herrera <alvherre@alvh.no-ip.org> writes:
>> Hmm, how about raising an error if multiple options are given targetting
>> the same GUC?
>
> I don't see any reason to do that. The underlying configuration
> files don't complain about duplicate entries, they just take the
> last setting.
Agreed, I think the patch as it stands now where it replaces case insensitive,
while keeping the original casing, is the best path forward. The issue exist
in 16 as well so I propose a backpatch to there.
--
Daniel Gustafsson