1
0
mirror of https://github.com/postgres/postgres.git synced 2025-08-19 23:22:23 +03:00

Fix typo.

Per report from Tom Lane. Previously fixed in master by
commit f057980149.
This commit is contained in:
Robert Haas
2020-08-06 14:55:00 -04:00
parent f7013683d9
commit 495a9b1fbf