On Thu, Jun 20, 2013 at 2:02 PM, Michael Albinus <michael.albinus@gmx.de>wrote:

> JuanLeon Lahoz <juanleon.lahoz@gmail.com> writes:
> > (I would appreciate very much a way to get a patch for fixing this,
> > if/when available)
>
> Could you, please, check whether the patch works for you?
>
> Best regards, Michael.
>

Patch is working fine for me :-)

Thanks!
juanleon