> Thanks. In fact the patch did not fully fix the regression of PR 53718 > (cf. comment 7). Attached is the extended patch that I will commit. Committed as r193048. Cheers, Janus