mirror of
https://github.com/postgres/postgres.git
synced 2025-11-18 00:08:31 -05: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