On Thu, Dec 15, 2022 at 9:36 PM Guozihua (Scott) <guozihua@xxxxxxxxxx> 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
