Your message dated Tue, 01 Nov 2016 05:17:21 -0400 with message-id and subject line Re: bug#24840: 25.1; EUDC documentation mentions incorrect default for eudc-inline-expansion-format has caused the debbugs.gnu.org bug report #24840, regarding 25.1; EUDC documentation mentions incorrect default for eudc-inline-expansion-format to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 24840: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=24840 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems