Hi, 
Apologies, but I had already created a commit here: 
https://commitfest.postgresql.org/23/2080/ . 
Any preference on which to keep?

Thanks, 
Raymond Martin 
rama...@microsoft.com

Reply via email to