Stream: git-wasmtime

Topic: wasmtime / PR #1326 Remove superfluous are


view this post on Zulip Wasmtime GitHub notifications bot (Mar 15 2020 at 08:51):

prathyvsh opened PR #1326 from patch-1 to master:

<!--

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.
-->

This is a simple grammatical fix on the prose.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 15 2020 at 12:15):

tschneidereit submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 15 2020 at 12:15):

tschneidereit merged PR #1326.


Last updated: Dec 23 2024 at 12:05 UTC