On Tue, Jul 12, 2022 at 9:31 PM Martin Liška <mli...@suse.cz> wrote: > > On 7/12/22 13:50, Rui Ueyama wrote: > > I'm fine, though I don't think I have a right to sign off. > > I've just pushed that. > > @Rui: Can you please merge the mold counter-part?
I merged the mold counter-part as https://github.com/rui314/mold/commit/b8a4df51ca574d411da2d51fbfdac9c9f10c76fb.
