AFAIK, this patch is now "ready for committer", so I have flagged itthat way [1]
======[1] https://commitfest.postgresql.org/patch/7210/
Kind Regards,Peter Smith.Fujitsu Australia