Commit 2a2f51d7 authored by Sylvain Henry's avatar Sylvain Henry Committed by Marge Bot

Use configure script to detect that we should use in-tree GMP on Windows

parent 7c0c76fb
Pipeline #16390 failed with stages
in 2 minutes and 54 seconds