Re: [PATCH 00/23] Multi-target support

Tom Tromey
2019-09-09T20:22:10Z

Pedro> Patch 17 is the actual multi-target patch.

I've looked at all the patches except this one, now.
I don't have time to look at it today.

Tom