Skip to content

arm64 is aarch64

Moritz Angermann requested to merge wip/angerman/ghc-arm64-is-aarch64 into ghc-8.10

This changes GHC's naming of arm64 to the official aarch64.

This was part of !4795 (closed).

Merge request reports