Hello,
it will be better, if you could wait until the f17-gmp tag will be
merged into rawhide.
In general, it's not a problem, when you make build _between_ our two
builds, but it's problem, when you make build after our second build and
before merging f17-gmp into rawhide. In that case, we ha
How should those of us with gmp-using packages manage updates while
the update to GMP 5.x is underway? I've got a handful of updates I
want to build for Rawhide at some point, but I don't want to cause
problems. Should I wait until the GMP update is done and the packages
are all tagged, or go ahe
