Commit b5768cce authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

Don't use timesInt2# with GHC < 8.11 (fix #18358)

parent 625a7f54
Pipeline #21360 canceled with stages