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
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. Thanks for the report! Best regards, Gurjeet http://Gurje.et
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.
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
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера