On Fri, 28 Apr 2023 11:21, Todd Zullinger said: > It seems neither of these files have not made it to the > server yet:
Sorry for that. I have used a new build machine and obviously forgot one of the last steps. Most of the release process is scripted but the final upload needs to be done manually (after signing, copying to the internal archive, updating the repo, writing announcement and updating the web page). Fixed after Bernhard called me at home. Shalom-Salam, Werner -- The pioneers of a warless world are the youth that refuse military service. - A. Einstein
openpgp-digital-signature.asc
Description: PGP signature
_______________________________________________ Gnupg-users mailing list Gnupg-users@gnupg.org https://lists.gnupg.org/mailman/listinfo/gnupg-users