Since no one responded to Andrea's inquiry on 2015-01-17 and Ubuntu 12.10 is out of support, I'm going to surmise this was fixed somewhere along the way.
If it still does occur, we can either reopen this bug or open a new one.
Since no one responded to Andrea's inquiry on 2015-01-17 and Ubuntu 12.10 is out of support, I'm going to surmise this was fixed somewhere along the way.
If it still does occur, we can either reopen this bug or open a new one.