On Fri, Jun 9, 2023 at 10:37 AM Gurjeet Singh <gurj...@singh.im> wrote:
> On Thu, Jun 8, 2023 at 7:11 AM Daniel Westermann (DWE) > <daniel.westerm...@dbi-services.com> wrote: > > > > ... shouldn't there be a "to" before "detect"? > > > > These two additions make it possible detect a concurrent page split > > Agreed. Attached is a small patch that fixes this. +1. A little nitpick: the new line seems overly long compared to adjacent lines, should we wrap it? Thanks Richard
