Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)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.
regards, tom lane