Your message dated Mon, 13 Jan 2014 10:20:30 +0900 with message-id and subject line Re: bug#16348: 24.3.50; Increasing internal-border-width cuts menubar and toolbar on non-toolkit builds has caused the debbugs.gnu.org bug report #16348, regarding 24.3.50; Increasing internal-border-width cuts menubar and toolbar on non-toolkit builds to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 16348: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=16348 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems