Sewen Thy
Results
2
comments of
Sewen Thy
@mseri I'm not sure what was the best way to do that--I added a new commit to the main repo and then run `opam publish` again, hope that's ok 🙏
@mseri just added to this PR and @Khady added to upstream already, thanks!