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