bug#15629: TTY Menu, redundant check marks in the menu bar

[Eli Zaretskii]

> Date: Thu, 17 Oct 2013 09:42:39 +0800
> From: Darren Hoo <darren.hoo@gmail.com>
> Cc: 15629@debbugs.gnu.org
> 
> On Wed, Oct 16, 2013 at 11:11 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> 
> > It's a bug.  But you didn't report any details about your build
> > collected by "M-x report-emacs-bug", so I can only guess what was the
> > reason for that.  If I guessed correctly, trunk revision 114685 should
> > fix this for you.  If not, please report the missing details, and also
> > see what is going on in the function have_boxes defined in menu.c,
> > when the Options menu is dropped down.
> 
> Thanks!
> It fixed for me.

Thanks, closing.