[Git][ghc/ghc] Pushed new tag ghc-9.12.4-release