On 2020-08-07 11:50 a.m., Joel Brobecker wrote: >> These changes have been extensively tested, and we've been using >> the same version at AdaCore for over a week, now; but do let me >> know if you have any issues. > > Well, that didn't take long. Simon just emailed me about an error. > Apparently, the Python installed on sourceware.org doesn't have > the enum module installed. What version of Python are you using, is it really old? All the reasonably recent and supported Python versions ship with the enum module. > I will revert the update, and ask overseers to install it. See the attached file, it's a very simple script to reject commits with the author name/email munged by the mailing list. I don't think it will produce too many false positives. Simon