mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-09-28 03:51:50 +02:00
Oops, put back changes. Those were Peter's, not mine.
This commit is contained in:
parent
57a15288a1
commit
606d4f7b38