Remove last NULL element in config_group_names[]
authorMichael Paquier <michael@paquier.xyz>
Wed, 28 Feb 2024 03:51:35 +0000 (12:51 +0900)
committerMichael Paquier <michael@paquier.xyz>
Wed, 28 Feb 2024 03:51:35 +0000 (12:51 +0900)
commit48920476b490544a3ee137da714424cd354bc2b6
tree87b276db727483cacfdf2f272063ab4d4ad28661
parent413c18401dcc170636429127e2494d8beba4b92f
Remove last NULL element in config_group_names[]

This has not been needed since 9d77708d83ee where there was a loop to
print all the possible GUC groups, relying on the last element to be
NULL.

Author: Japin Li
Reviewed-By: Jelte Fennema-Nio
Discussion: https://postgr.es/m/CAGECzQT3caUbcCcszNewCCmMbCuyP7XNAm60J3ybd6PN5kH2Dw@mail.gmail.com
src/backend/utils/misc/guc_tables.c