mirror of
https://git.postgresql.org/git/postgresql.git
synced 2025-01-24 18:55:04 +08:00
Ooops, missed one file to remove.
This commit is contained in:
parent
7341a0a0f9
commit
abd183e4e7