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

Fix a whitespace problem. From Alvaro Herrera.

This commit is contained in:
Dennis Bjorklund
2005-05-03 06:28:24 +00:00
parent 323fe83608
commit d0069f5a71