On Sun, Oct 4, 2020 at 3:08 PM Thien-Thi Nguyen <ttn@xxxxxxxxxxx> wrote: > I followed the instructions in the release notice, which > mentions BF156B83E4D5AD06AF3A0C2C384F8E68AC65B0D5 by a shorter > name: > > > If that command fails because you don't have the required > > public key, then run this command to import it: > > > > gpg --keyserver keys.gnupg.net --recv-keys 384F8E68AC65B0D5 > > Probably it would suffice to followup on that thread, naming the > desired key (short or full) to be downloaded, for others to see. Aha. Thank you. I should have proofread the release announcement more carefully. It probably pulled that keyid from my Git configuration. I will send a followup as you suggest. zw