mirror of
https://github.com/postgres/postgres.git
synced 2025-10-31 00:03:57 -04:00
Remove spurious space
Andres Freund
This commit is contained in:
parent
2065dd2834
commit
692079e5dc