Subject: Re: bug#13428: deprioritize
From: Stefan Monnier <[email-masked]>
To: David Reitter <[email-masked]>
Cc: [email-masked]
Date: Thu, 04 Sep 2014 11:58:43 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

> Suggest to de-prioritize this unless it can be reproduced with a reasonably current OSX / X.org.
> (The 10.4 version mentioned in the title is no longer in significant use,
> and apart from that, the bug does not contain sufficient information.)

Actually, I think we might as well close it.  If it shows up again, we
can re-open it.

        Stefan