Based on the previous comments, I can conclude that the current behavior can be 
called a bug.
How should we proceed? Does somebody who is more familiar with the topic open a 
bug or should I register to the bugtracker and open an issue?

Martin


Reply via email to