[Git][ghc/ghc][ghc-9.12] release 9.12.5: write release notes