mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-23 06:47:14 +08: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