My apologies: I somehow missed the recent attachment of a patch for this issue by Maurizio, and thought the comment preceeding my closure applied to my very old patches.
Maurizio, I've assigned the bug to you: please close it or update with a new patch as you wish.
My apologies: I somehow missed the recent attachment of a patch for this issue by Maurizio, and thought the comment preceeding my closure applied to my very old patches.
Maurizio, I've assigned the bug to you: please close it or update with a new patch as you wish.