On Sunday 18 September 2011, Stefano Lattarini wrote:
> tags 8461 patch
> close 8461
> thanks
> 
> Reference:
>  <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8461>
> 
> I've decided to go with the third option listed there; attached is the
> patch I've pushed to maint.
> 
> Regards,
>   Stefano
> 
That change has caused a minor fallout in a test case, which I've fixed with
the attached patch.

Regards,
  Stefano