6 Sep
2022
6 Sep
'22
5:31 p.m.
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. -- Thierry Carrez (ttx)