It seems this was pushed already [1]. Sorry for the false alarm.

------
[1] 
https://github.com/postgres/postgres/commit/f5c446e3367527f9db1506d7c38d2f56e20950b6

Kind Regards,
Peter Smith.
Fujitsu Australia.


Reply via email to