I made two mistakes when preparing the release: I forgot to include the ARM port in ‘NEWS’ (despite it being one of the most significant changes!), and I inadvertently pushed a dozen of Nix tags that I had locally to git.sv.gnu.org, leading to many messages to guix-commits (I removed them soon after.)
Sorry for the mess! Ludo’.
