7 Sep
2022
7 Sep
'22
9:13 p.m.
On Tue, 2022-09-06 at 17:31 +0200, Thierry Carrez wrote:
Előd Illés wrote:
Thanks Stephen for working on this! If those patches get merged *and* nothing else is needed, then Option 1 seems to be the better solution.
It looks like they are all getting good review traction, so this is looking good.
Yeah, these are all merged now. I just rechecked the requirements patch. That should be green soon. Stephen