On Thu, Mar 04, 2021 at 05:45:50PM +0100, Matthias van de Meent wrote:> Sure, I'm convinced. PFA the patchset with this change applied.
0002 looks fine to me, and in line with the discussion, so applied.--Michael