[Git][ghc/ghc][ghc-9.12] Finalize 9.12.3