This ticket is over a year old -- and I don't know that we have a way to
test it.  Shall we close it and let someone reopen/resubmit if it's
observed again?

Pm

Reply via email to