On October 8, 2015 5:41:37 PM GMT+02:00, Robert Haas <robertmhaas@gmail.com> wrote:
>Patch attached. Objections? Suggestions? Comments?
I've not reviewed the patch, but +1 for the plan.
Andres
---
Please excuse brevity and formatting - I am writing this on my mobile phone.