mirror of https://github.com/postgres/postgres
Reported by Kevin Grittner. Faulty commit identified by Tom Lane. Patch by Amit Langote, reviewed by Michael Paquier. Discussion: http://postgr.es/m/CACjxUsOHbH1=99u8mGxmLHfy5hov4ENEpvM6=3ARjos7wG7rtQ@mail.gmail.compull/17/merge
parent
508dabaf39
commit
d88d06cd07
Loading…
Reference in new issue