On Tue, 2013-10-15 at 23:11 -0400, Peter Eisentraut wrote:> Updated patch attached.
Committed with some further tweaks.