Hi François, please be patient -- your patches are under radar, resending them does not help.
What helps is to send them using git format-patch, to include a detailed and clean changelog entry, and to make it clear whether the patch is okay or for testing purpose first. When I read your message, I could not be sure you were yourself confident it was the right fix. I will look into this later on. Thanks, -- Bastien
