This MR migrates omicron-2.3.12 and gwollum-2.3.12 to master
omicron-2.3.12
gwollum-2.3.12
master
https://git.ligo.org/sccb/requests/issues/370