On Tue, 2013-11-26 at 06:59 -0500, Peter Eisentraut wrote:> Attached is my "final" patch. Let me know if it's OK for you.
Dimitri, will you have a change to review this?