16 Dec
2022
16 Dec
'22
3:04 a.m.
On Thu, Dec 15, 2022 at 9:36 PM Guozihua (Scott) guozihua@huawei.com wrote:
On 2022/12/16 5:04, Paul Moore wrote:
...
How bad is the backport really? Perhaps it is worth doing it to see what it looks like?
It might not be that bad, I'll try to post a version next Monday.
Thanks for giving it a shot.
--
paul-moore.com