This repository was archived by the owner on Feb 15, 2022. It is now read-only.
Labels
Labels
14 labels
- Relating to the ood data backend
- Something isn't working
- Pull requests that update a dependency file
- Request designer feedback on an implemented component
- Request to implement a design suggestion
- Improvements or additions to documentation of v3.ocaml.org itself
- This issue or pull request already exists
- Good for newcomers
- Extra attention is needed
- PRs that are created solely to gather comments on an idea