Hello David,
>> Repost from bugs.
>
> This patch does not apply at cccbdde:
Indeed. It should not. The fix is for the 9.6 branch. The issue has been
fixed by some heavy but very welcome restructuring in master.
> Marked as "Waiting for Author".
I put it back to "Needs review".
--
Fabien.