Hi Tassilo,

2016-06-24 8:03 GMT+02:00 Tassilo Horn <tsdh@gnu.org>:
> Yes, I think that should work and would be the right function.

Thank you.  Christoph, can you please confirm the attached patch
solves the problem for you?

> Can you do
> that please. I'm almost off to holidays.

Sure, I can do it as soon as I get a confirmation it works.

Bye,
Mosè