Sorry, t he last comment was re #952297.
This bug is a manifestation of a different problem than #952297.
Sorry, t he last comment was re #952297.
This bug is a manifestation of a different problem than #952297.