Reference:
  <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=10437>

On 01/05/2012 03:07 PM, Stefano Lattarini wrote:
>
> Patch coming up soon.
> 
And here it is.  I will push by this evening if there is no objection.

Regards,
  Stefano