[Git][ghc/ghc] Pushed new branch wip/T25391-9.12