ghc-8.4.1-release tag

Hi, I noticed that the tag ghc-8.4.1-release points to f31c40efdc918bc9da8a325327ba5a472bd6ea9e but the tarball has different content: $ cat /tmp/ghc-8.4.1/GIT_COMMIT_ID 0a3e2f324dbd525d626ebd3d97e8ffa1cf2f0ffb Ben, would you mind updating the git tag to reflect reality, to avoid confusion (it’s be a forced tag update, but still better than inconsistent information). Cheers, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de https://www.joachim-breitner.de/