Jürgen Spitzmüller wrote:
> So which one should we take? I think either one is ok. Yours is
> probably simpler. I'll let you and José decide.

On a second thought, I think you should just commit yours. José?

Jürgen

Reply via email to