> From: Segher Boessenkool <[email protected]> > Date: Tue, 7 Jul 2020 22:50:43 +0200
> I'll make a simpler patch. Thanks! You're welcome. So, you'll take care of the updated patch yourself? (I'll wait a month before sending an update either way.) brgds, H-P
