1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-17 06:41:09 +03:00

Fix typo in comment.

Amit Langote
This commit is contained in:
Robert Haas
2016-07-07 16:13:37 -04:00
parent 1b0fc85077
commit 3edcdbcc4d