thanks @JammyDodger for the move to bug, is this all it takes to open a bug report, or should I open an official one in some bug tracker?
thanks @JammyDodger for the move to bug, is this all it takes to open a bug report, or should I open an official one in some bug tracker?