mirror of https://github.com/postgres/postgres
One output column was duplicated. Couldn't resist fixing the version number while at it. Reported-by: Gianni Ciollipull/34/head
parent
aa2ba50c2c
commit
67ed3b9d73
Loading…
Reference in new issue