This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - chore(*): remove after the fact attribute [irreducible] at several places (2)#18180
Closed
sgouezel wants to merge 2 commits intomasterfrom SG_more_irred
+42-45
Commits
Commits on Jan 15, 2023
- committed
- committed
