Re: [Patch] cleanup

[Jürgen Spitzmüller]

Abdelrazak Younes wrote:
> OK. Nothing urgent.

I committed something which fixes bug 3562 and the assertion which was 
commented out by Uwe, but not this one (as I have supposed).

So please go ahead with your cleanup.

Jürgen