mirror of
https://github.com/postgres/postgres.git
synced 2025-06-05 00:02:04 -04:00
Fix mis-indented lines
Per Coverity
This commit is contained in:
parent
3142cf6dd5
commit
a59516b631