Your message dated Wed, 03 Jan 2018 15:35:50 +0100
with message-id <87shbndn7d.fsf@nicolasgoaziou.fr>
and subject line Re: bug#18855: 25.0.50; 123-char line in Org manual top menu
has caused the debbugs.gnu.org bug report #18855,
regarding 25.0.50; Menu too wide in Org manual: 121 columns wide
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
18855: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18855
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems