Stream: git-wasmtime

Topic: wasmtime / PR #1442 correct typo in the docs profiling se...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 31 2020 at 13:18):

BenoitDel opened PR #1442 from master to master:

Typo correction
Seems that typo correction don't necessarily needs to open an issue. So I skip the issue step.
change the input file name from perf.jit-data to perf.jit.data
first commit of my life...Hope i ve done it correctly

view this post on Zulip Wasmtime GitHub notifications bot (Mar 31 2020 at 14:22):

alexcrichton merged PR #1442.

Last updated: Nov 22 2024 at 17:03 UTC