[antimicro/f22] new upstream release v2.12 (#1202803)

[jsbackus]

Summary of changes:

  a60acf9... new upstream release v2.12 (#1202803) (*)

(*) This commit already existed in another branch; no separate mail sent