Stream: git-wasmtime

Topic: wasmtime / PR #2111 Rename "Stackmap" to "StackMap"


view this post on Zulip Wasmtime GitHub notifications bot (Aug 06 2020 at 23:44):

fitzgen opened PR #2111 from rename-stackmap-to-stack-map to main:

And "stackmap" to "stack_map".

This commit is purely mechanical.

r? @cfallin

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 06 2020 at 23:44):

fitzgen requested cfallin for a review on PR #2111.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 06 2020 at 23:48):

fitzgen updated PR #2111 from rename-stackmap-to-stack-map to main:

And "stackmap" to "stack_map".

This commit is purely mechanical.

r? @cfallin

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2020 at 00:29):

cfallin submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2020 at 17:10):

fitzgen updated PR #2111 from rename-stackmap-to-stack-map to main:

And "stackmap" to "stack_map".

This commit is purely mechanical.

r? @cfallin

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 07 2020 at 17:46):

fitzgen merged PR #2111.


Last updated: Oct 23 2024 at 20:03 UTC