diff options
author | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2022-09-14 15:36:21 +0200 |
---|---|---|
committer | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2022-09-14 15:36:21 +0200 |
commit | ef81b7f8697807e57363d22b1e80389cd1efc4f8 (patch) | |
tree | c3aab21907572a5262e3e45157f394f50dfbaec5 /src/backend/access/gist/gistvacuum.c | |
parent | 64387c540805e392d051cf484ebcf937a9bd8b1b (diff) |
Remove duplicate initialization
This appears to be a merge mistake in 96ef3237bf74. We could put it
back the way it was before JSON_TABLE and it'd be two lines shorter, but
it's likely that JSON_TABLE will be back and will prefer things this
way. It makes no other difference in practice.
Backpatch to 15.
Reported by Ranier Vilela
Discussion: https://postgr.es/m/CAEudQAr4nOcNQskC4oBEZN4S+4heJ=1ch_ZKOxU+_Ef-FQSf-g@mail.gmail.com
Diffstat (limited to 'src/backend/access/gist/gistvacuum.c')
0 files changed, 0 insertions, 0 deletions