On Sat, Nov 24, 2018 at 4:20 AM Tom Lane <[email protected]> wrote: > Thomas Munro <[email protected]> writes: > > - | 0 > > I assume this was a mistake. Please be more careful in future.
Sorry, somehow this cruft was hiding in plain sight in the last couple of patch revisions I posted. Thanks for removing it. -- Thomas Munro http://www.enterprisedb.com
