wabt
Enabled merged proposals by default
#1405
Merged

Enabled merged proposals by default #1405

alexcrichton
alexcrichton Enabled merged proposals by default
6e6c7519
binji
binji approved these changes on 2020-05-06
binji binji merged e88bc660 into master 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone