Skip to content

Fix typo from #9545#9597

Merged
alexcrichton merged 1 commit intobytecodealliance:mainfrom
jder:memory-reservation-typo
Nov 12, 2024
Merged

Fix typo from #9545#9597
alexcrichton merged 1 commit intobytecodealliance:mainfrom
jder:memory-reservation-typo

Conversation

@jder
Copy link
Contributor

@jder jder commented Nov 12, 2024

While trying to update wasmtime-py to use the latest dev version, I noticed what I think is just a typo causing a mismatch between the c header file:

WASMTIME_CONFIG_PROP(void, memory_reservation_for_growth, uint64_t)

which expands to wasmtime_config_memory_reservation_for_growth_set and this line (which still has "reserved"). I think just a typo from #9545.

@jder jder requested a review from a team as a code owner November 12, 2024 16:38
@jder jder requested review from fitzgen and removed request for a team November 12, 2024 16:38
Copy link
Member

@alexcrichton alexcrichton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops, thanks!

@alexcrichton alexcrichton added this pull request to the merge queue Nov 12, 2024
Merged via the queue into bytecodealliance:main with commit f888bea Nov 12, 2024
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.

2 participants