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

[Paul Zimmermann]

thank you Joseph. This patch looks good to me, GMP 6.2.1 is indeed the latest
release.

Paul

> Date: Tue, 15 Dec 2020 01:16:42 +0000
> From: Joseph Myers <joseph@codesourcery.com>
> 
> On Mon, 14 Dec 2020, Paul Zimmermann wrote:
> 
> >        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)?
> 
> It's up to a reviewer to judge what they think needs review for a given 
> patch.  I'd expect review for this kind of build-many-glibcs.py patch to 
> be minimal and essentially independent of which component is being 
> updated; considerations would be along the lines of "does the patch have 
> any extraneous diff hunks that don't belong there?", "are there any 
> mistakes in the commit message?", "is the new version indeed the latest 
> stable version of the relevant component?", "are there any well-known 
> incompatibilities with the versions being used of other components that 
> would indicate delaying the udpate?".
> 
> -- 
> Joseph S. Myers
> joseph@codesourcery.com
>