Allow users to configure the page pool #242
Comments
tgregg
added a commit
that referenced
this issue
May 7, 2021
tgregg
added a commit
that referenced
this issue
May 7, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
#236 Fixed a bug that caused the page pool to be accessed before being initialized in certain cases, but it made it impossible for users to configure the page pool (
ion_initialize_page_pooldoes nothing).We need to determine a safe way to make the page pool configurable by users.
Related: #181
The text was updated successfully, but these errors were encountered: