lcfr

> This pull request was submitted by a community effort. > > As normalization approaches, these current ($) cashtag categories have proved to be a community must. > > All...

> > This is [CVE-2023-6546](https://github.com/advisories/GHSA-v727-f437-6cxx) and this repo is sus. > > this not CVE 2023 6546 Trigger looks the same calling GSMIOC_SETCONF with a dangling tty reference. also interesting...

edit: just saw this was posted to the forum stating it will need a full vote still - apologies! https://discuss.ens.domains/t/ens-controller-v2-is-ready-for-code-review/14510

solved this today by ```cd yices2 && git checkout 8e6297e``` then rerunning setup.sh this reverts to use the last [release](https://github.com/SRI-CSL/yices2/tree/Yices-2.6.5) version instead of master from git which introduces breaking changes.