On Tue, Apr 10, 2018 at 3:37 PM, Andrew Dunstan <andrew.duns...@2ndquadrant.com> wrote: >> The comments still say "Check if the page...no split is in progress". >> Despite the fact that that's just an assertion now. >> > > Fixed.
Thanks. -- Peter Geoghegan