Hi, * Rocco Rutte [07-09-03 13:07:11 +0200] wrote:
The attached patch fixes it.
This also fixes #2900 which indeed is a duplicate of #2882. bye, Rocco -- :wq!