Skip to content

Optional MemoryBufferPools::reserve usage#1672

Merged
robertosfield merged 2 commits intomasterfrom
OptionalMemoryBufferPools
Feb 6, 2026
Merged

Optional MemoryBufferPools::reserve usage#1672
robertosfield merged 2 commits intomasterfrom
OptionalMemoryBufferPools

Conversation

@robertosfield
Copy link
Collaborator

No description provided.

…rol whether the compile traversal should call MemoryBufferPools::reserve(requirements)
@robertosfield robertosfield merged commit 7c56d80 into master Feb 6, 2026
16 checks passed
@robertosfield robertosfield deleted the OptionalMemoryBufferPools branch February 6, 2026 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant