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.