On Fri, Jun 09, 2023 at 11:29:02AM +0800, Richard Guo wrote:
> On Fri, Jun 9, 2023 at 10:37 AM Gurjeet Singh wrote:
>
>> On Thu, Jun 8, 2023 at 7:11 AM Daniel Westermann (DWE)
>> wrote:
>> >
>> > ... shouldn't there be a "to" before "detect"?
>> >
>> > These two additions make it possible
On Fri, Jun 9, 2023 at 10:37 AM Gurjeet Singh wrote:
> On Thu, Jun 8, 2023 at 7:11 AM Daniel Westermann (DWE)
> 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
On Thu, Jun 8, 2023 at 7:11 AM Daniel Westermann (DWE)
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.
Thanks for the report!
Best regards,
Gurjeet
Hi,
I am not a native English speaker, but shouldn't there be a "to" before
"detect"?
These two additions make it possible detect a concurrent page split
Regards
Daniel