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 #19 from HolyLab/revert-17-compathelper/new_versio…
…n/2022-05-30-00-10-02-702-01314660716 Revert "CompatHelper: bump compat for IntervalSets to 0.7, (keep existing compat)"
- Loading branch information