mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-12-15 08:20:16 +08:00
Fix minor end-of-file formatting.
This commit is contained in:
parent
10aaff0a40
commit
a9d76d0108