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