On Tue, Feb 12, 2019 at 07:25:27PM -0500, Leo Famulari wrote:
> Is this bug still relevant? Or can we close it?

Since no new complaints come in for more than four years, I am closing
the bug.

Andreas




Reply via email to