Thanks, David. Since we're not in phase 1 anymore, do we need an approval before I merge like last year or can I merge immediately? I also have many other patches (all in jit) that I need to prepare and post to this mailing list. What do you think?
On Thu, 2022-12-01 at 09:28 -0500, David Malcolm wrote: > On Sun, 2022-11-20 at 14:03 -0500, Antoni Boucher via Jit wrote: > > Hi. > > This fixes bug 107770. > > Thanks for the review. > > Thanks, the patch looks good to me. > > Dave >
