Re: [PATCH v2 00/24] Multi-target support

Pedro Alves
2020-01-10T20:13:30Z

I've now merged the multi-target work to master, including
the couple follow up patches developed and discussed on this
thread.

Massive thank you to everyone involved, for reviews,
discussions, groundwork, patches, and whatnot!

Thanks,
Pedro Alves