Re: Patches for 1820 and 3613

[Jürgen Spitzmüller]

Abdelrazak Younes wrote:
> While I agree with you, I also agree with Dov that we should branch 1.5
> now...

I'm not opposed to that, but it's up to José.

Jürgen