On Thu, 2022-12-01 at 10:01 -0500, Antoni Boucher wrote: > 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 think it counts as a bug fix and thus you can go ahead and merge (assuming you've done the usual testing). > I also have many other patches (all in jit) that I need to prepare > and > post to this mailing list. > What do you think? Given that you're one of the main users of libgccjit I think there's a case for stretching the deadlines a bit here. Do you have a repo I can look at? Dave > > 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 > > >
