Ping Re: Use GMP 6.2.1 in build-many-glibcs.py

[Paul Zimmermann]

       Dear Joseph,

I'd like to review this patch, but I don't know what the file
scripts/build-many-glibcs.py is used for. Please can you tell me
what I should do to review it, apart from checking that GMP 6.2.1
has been released (which is the case)?

Paul

> Date: Mon, 14 Dec 2020 17:52:47 +0000
> From: Joseph Myers <joseph@codesourcery.com>
> 
> Ping.  This patch 
> <https://sourceware.org/pipermail/libc-alpha/2020-December/120524.html> 
> is pending review.
> 
> -- 
> Joseph S. Myers
> joseph@codesourcery.com