On Thu, Aug 29, 2019 at 04:32:07PM -0500, Segher Boessenkool wrote: > This is not just for reload anymore, so please don't name it that. Renaming > things isn't hard, this isn't a public API or anything :-)
This hasn't just be for reload for several years now. Do you have a name you prefer? -- Michael Meissner, IBM IBM, M/S 2506R, 550 King Street, Littleton, MA 01460-6245, USA email: [email protected], phone: +1 (978) 899-4797
