> > If you'd like, I can write a small script that makes the update, > > and have it run on sourceware.org as gdbadmin. > > That would be great. Thanks, Joel! I've enabled the same script that updates our GDB release branches to update the master branch as well. Can you disable the script you've been using? Thank you! -- Joel