This pull request changes the compat entry for the DomainSets package from 0.5, 0.6 to 0.5, 0.6, 0.7 for package docs.
This keeps the compat entries for earlier versions.
Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.
This pull request changes the compat entry for the
DomainSetspackage from0.5, 0.6to0.5, 0.6, 0.7for package docs. This keeps the compat entries for earlier versions.Note: I have not tested your package with this new compat entry. It is your responsibility to make sure that your package tests pass before you merge this pull request.