Christoph, can you commit your code with this the previous modification you suggested? It actually works. Then you can close the bug. Thanks!
Christoph, can you commit your code with this the previous modification you suggested? It actually works. Then you can close the bug. Thanks!