On Wed, Mar 28, 2018 at 11:06:23AM +1100, Haribabu Kommi wrote: > On Wed, Mar 28, 2018 at 3:35 AM, Peter Eisentraut < > peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote: >> >> Committed after fixing up the documentation a bit as suggested by others. > > Thanks.
+1. Thanks for working on this Hari, Peter for the commit and all others for your input! -- Michael