mirror of https://github.com/postgres/postgres
I forgot about these details in 33d3eeadb
:-(.
Noted by Christoph Berg.
Discussion: https://postgr.es/m/YcI8i/mduMi91uXY@msg.df7cb.de
pull/138/head
parent
1fada5d81e
commit
0f2abd0544
Loading…
Reference in new issue