On Fri, Mar 7, 2014 at 6:42 PM, Paul Eggert <[email protected]> wrote:
> I think this bug should be fixed on OS X now, so I'm marking it as done.  We
> can reopen it later if I'm wrong.

Confirmed: it's still fixed. Thanks again.



Reply via email to