> On Aug 18, 2018, at 4:22 PM, Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:> > This has been committed.
Thanks - I’ve moved it off of the open items list.
Jonathan