Hi Joel, Sorry for not replying before.
> I set a new GPG key in my Savannah profile a few days ago. I just rolled > a new release of Bison, I guess you already emailed sysadmin with the new key, since there is bison-2.4.1a.tar.gz on alpha? so I'd like my key to show up in Bison's keyring on Savannah, but it hasn't yet. I don't know how the savannah keyrings are maintained, if they are an automatically-updated copy of what sysadmin has for alpha/ftp.gnu.org (evidently not), or something else. (Nor do I know what difference they make to anything, for that matter.) Best, Karl