v0.12.2

GAP v0.12.2

Diff since v0.12.1

Merged pull requests:

• CI: don't specify runner arch (#1075) (@fingolfin)
• Update .mailmap and copyright right information (#1081) (@fingolfin)
• Backport AA compat bump and set version to 0.12.2 (#1093) (@lgoettgens)
• Add a hack to make CI with GAP master work (#1078) (@lgoettgens)