Dear GHC Devs, Preparation of the GHC 9.12.5 release are well under way and I would like to ask me if there are any patches that you think should be included in that branch that haven't been marked with the respective backport label. If there is any patch, please add the label and ping me on the respective MR. Thank you so much. Best Magnus