|
| From: | Eli Zaretskii |
| Subject: | bug#6011: 24.0.50; Menu-bar items duplicated after tool-bar tooltip |
| Date: | Thu, 07 Feb 2013 22:29:14 +0200 |
> From: Glenn Morris <rgm@gnu.org> > Cc: 6011@debbugs.gnu.org > Date: Thu, 07 Feb 2013 15:16:22 -0500 > > > Is this report still relevant? Can't reproduce it now. Feel free to close.
| [Prev in Thread] | Current Thread | [Next in Thread] |