On Fri, Jun 9, 2023 at 10:37 AM Gurjeet Singh <[email protected]> wrote:
> On Thu, Jun 8, 2023 at 7:11 AM Daniel Westermann (DWE) > <[email protected]> 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
