Dear Mikael,

I have the patch in my working tree since May 2014. It works as advertised 
without
any visible side effect.

Thanks,

Dominique

Reply via email to