PR #4684 nix: wabt to dev shell

nix: wabt to dev shell #4684

aqrln merged 1 commit into main from nix-wabt-to-dev-shell

nix: wabt to dev shell

b5eb96ba

aqrln requested a review 2 years ago

aqrln removed review request 2 years ago

aqrln requested a review from

miguelff 2 years ago

aqrln requested a review from

Druue 2 years ago

aqrln added this to the 5.10.0 milestone 2 years ago

aqrln assigned

aqrln 2 years ago

SevInf approved these changes on 2024-02-01

aqrln merged 07023027 into main 2 years ago

aqrln deleted the nix-wabt-to-dev-shell branch 2 years ago

Reviewers

SevInf

miguelff

Druue

Assignees

aqrln

Labels

None yet

Milestone

5.10.0