The patch has been finally as commit v1.11-373-g9ca6326, with
a non-trivial optimization (for speed reasons) to a test case
applied with follow-up commit `v1.11-374-ged078da'.

I'm thus marking this bug as closed.

Regards,
  Stefano



Reply via email to