On Fri, Jun 9, 2023 at 10:37 AM Gurjeet Singh <gurjeet@singh.im> wrote:
On Thu, Jun 8, 2023 at 7:11 AM Daniel Westermann (DWE) <daniel.westermann@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?