mirror of https://github.com/postgres/postgres
This should have been added in efc9816
, but it looks like I have found a
way to mess up a bit a patch split. This should have no consequence in
practice, but let's be clean.
Discussion: https://postgr.es/m/Y324HvGKiWxW2yxe@paquier.xyz
pull/109/head
parent
efc981627a
commit
d5566fbfeb
Loading…
Reference in new issue