Stream: git-wasmtime

Topic: wasmtime / PR #5443 fix typo in hint about WASMTIME_BACKT...

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 23:13):

JakeChampion opened PR #5443 from patch-1 to main:

This is a very small PR which removes an extra word from the message which I think was not meant to be there

There's no issue for this PR as the work is very minor

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 23:14):

jameysharp submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 23:14):

jameysharp has enabled auto merge for PR #5443.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 23:14):

elliottt submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 23:57):

JakeChampion updated PR #5443 from patch-1 to main.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 14 2022 at 23:57):

jameysharp has disabled auto merge for PR #5443.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 15 2022 at 00:33):

jameysharp has enabled auto merge for PR #5443.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 15 2022 at 00:33):

jameysharp merged PR #5443.

Last updated: Oct 23 2024 at 20:03 UTC