Friendly ping to Dimitri. Dimitri, should I open a new bug for the new issue I've reported in comment #5 and #8?
Friendly ping to Dimitri.
Dimitri, should I open a new bug for the new issue I've reported in comment #5 and #8?