Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #3359 from obophenotype/3016-dont-add-obo-shorthan…
…ds-to-ro-mirror Do not "add OBO shorthands" to the RO mirror.
- Loading branch information