Pull requests: mirage/mirage
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
On a `Term error from Cmdliner, print a Hint about how to pass a space
#1535
opened May 10, 2024 by
hannesm
Loading…
fix generated opam file - the build rule is now `make "-Csubdir" "build"
#1527
opened May 6, 2024 by
hannesm
Loading…
WIP: Use ppxlib.metaquot instead of raw strings for runtime keys
#1494
opened Jan 12, 2024 by
samoht
Loading…
Update Mirage with the effect/value distinction in 'connect'
#790
opened Feb 15, 2017 by
yallop
Loading…
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.