mirror of
https://github.com/postgres/postgres.git
synced 2025-08-11 04:22:52 +03:00
One output column was duplicated. Couldn't resist fixing the version number while at it. Reported-by: Gianni Ciolli
One output column was duplicated. Couldn't resist fixing the version number while at it. Reported-by: Gianni Ciolli