On 6/20/22 11:35, Richard Biener wrote: > I think this is OK. Can we get buy-in from mold people?
Sure, I've just pinged Rui: https://github.com/rui314/mold/issues/454#issuecomment-1160419030 Martin
On 6/20/22 11:35, Richard Biener wrote: > I think this is OK. Can we get buy-in from mold people?
Sure, I've just pinged Rui: https://github.com/rui314/mold/issues/454#issuecomment-1160419030 Martin