Re: (Patch] fix 4317 Re: Wide patch? (was Re: Patch Candidate List #6)

[Jürgen Spitzmüller]

Abdelrazak Younes wrote:
> It's the same and it works fine in branch. Shall I commit?

Yes, please. Since the worst that could happen would be an update too much, it 
cannot harm anyway.

Jürgen