mirror of https://github.com/postgres/postgres
Not used and doesn't seem useful. Reviewed-by: Thomas Munro <thomas.munro@enterprisedb.com>pull/31/head^2
parent
0ec2e908ba
commit
8951c65df2
Loading…
Reference in new issue