On 3/5/19 20:22, David Steele wrote:
I'll close this on March 8th if there is no new patch.
This is taking longer than expected. I'll move it to the next commitfest and continue working on the patch.
-- Alexander Kuzmenkov Postgres Professional: http://www.postgrespro.com The Russian Postgres Company