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
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