Fix bad indentation introduced in 43cd30bcd1c
authorAndres Freund <[email protected]>
Mon, 15 Jul 2024 22:17:37 +0000 (15:17 -0700)
committerAndres Freund <[email protected]>
Mon, 15 Jul 2024 22:17:37 +0000 (15:17 -0700)
commitff3cae4875d3391c591ac5d22693f27f056e62d2
tree2ff80f5dfed7115fcf7436d43613862d39af8dcb
parenta15b0edb5dd9d2a3731f374b576485799c00431c
Fix bad indentation introduced in 43cd30bcd1c

Oops.

Reported-by: Nathan Bossart <[email protected]>
Discussion: https://postgr.es/m/ZpVZB9rH5tHllO75@nathan
Backpatch: 12-, like 43cd30bcd1c
src/backend/utils/misc/guc.c