On Sat, Oct 23, 2021 at 9:20 AM Alexander Lakhin <exclus...@gmail.com> wrote: > Thanks for the fix! It works and looks correct to me.
Pushed. Thanks.
- The huge_pages parameter doesn't work when shared_mem... PG Doc comments form
- Re: The huge_pages parameter doesn't work when s... Thomas Munro
- Re: The huge_pages parameter doesn't work wh... Alexander Lakhin
- Re: The huge_pages parameter doesn't wor... Thomas Munro
