On Sat, Nov 24, 2018 at 12:32:36PM +1300, David Rowley wrote: > On Fri, 23 Nov 2018 at 17:03, David Rowley <david(dot)rowley(at)2ndquadrant(dot)com> wrote: > > Here's a patch for that. Parking here until January's commitfest. > > And another, now rebased atop of de38ce1b8 (which I probably should > have waited for).
You have just gained a reviewer. The current inconsistent state is rather bad I think, so I'll try to look at that before January. Now there are other things waiting in the queue... -- Michael