On Fri, Jun 09, 2023 at 11:29:02AM +0800, Richard Guo wrote:
> 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?
Committed, thanks.
--
Nathan Bossart
Amazon Web Services: https://aws.amazon.com