mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-11-27 07:21:09 +08:00
Back out unindented modification to file.
This commit is contained in:
parent
cdc84adbdb
commit
9da50e1f53