Possibly related bugs are:
* bug #917210, which has been fixed some time ago, but which may contain some relevant discussions; * and bug #961202, which could be fixed together with this one.
Possibly related bugs are:
* bug #917210, which has been fixed some time ago, but which may contain some relevant discussions;
* and bug #961202, which could be fixed together with this one.