On Tue, Apr 10, 2018 at 3:37 PM, Andrew Dunstan <[email protected]> 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
On Tue, Apr 10, 2018 at 3:37 PM, Andrew Dunstan <[email protected]> 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