During about last mont the bug did not show itself. Hence I changed the status to Fix released. However, a related problem remains which I am going to report separately.
During about last mont the bug did not show itself. Hence I changed the status to Fix released. However, a related problem remains which I am going to report separately.