Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trac #33240: Demote linter errors about importing from "all" to warni…
…ngs for now The linter test about importing from "all" currently fails for all tickets, thus hiding new linting issues introduced in any ticket. Until these imports are fixed, demote the error to a warning. URL: https://trac.sagemath.org/33240 Reported by: gh-tobiasdiez Ticket author(s): Tobias Diez Reviewer(s): Frédéric Chapoton
- Loading branch information