Release for GHC 9.12?

GHC master is currently on d1780eb2 which doesn't correspond to a release. I am bumping the submodule to master (8c807459), but we need a release to be cut.

mentioned in issue ghc/ghc#25123 (closed)

Hi,

Can you tell me exactly what you need? The tool hpc-bin is not available on Hackage or through another distribution channel like nix etc. You either get it through your GHC distribution or directly from source from the master branch in this repository. I do release the library hpc on Hackage whenever there is a need for it on Hackage, but we never did separate hpc-bin releases.

Bumping the submodule in GHC to the master of hpc-bin will probably not work, since we have patches that use lucid2 that depend on ghc/ghc#24719 . I had originally anticipated that the migration of haddock from xhtml to lucid2 would be faster, so that I wouldn't have to maintain a master branch of hpc-bin which is incompatible with ghc for so long. But if we absolutely need to bump then I can revert the corresponding commits on the master branch.

OK, in that case I will not bump to master.

I think just a tag (v70) on d1780eb2 will be good since it does contain some code changes with JSON functionality.