Mark Mitchell <mark@codesourcery.com> writes: > It doesn't look like this patch was ever applied. With the change > Andreas has suggested, this is OK after the lockdown. Thanks very much. I'll wait for the end of the lockdown.