Subject: Re: bug#24840: 25.1; EUDC documentation mentions incorrect default for eudc-inline-expansion-format

From: Thomas Fitzsimmons <[email-masked]>
Date: Tue, 01 Nov 2016 05:17:21 -0400

Tibor Csögör <[email-masked]> writes:

> Fix documentation of 'eudc-inline-expansion-format'

Pushed, thanks.  I also updated the documentation for
'eudc-options-file'.

Thomas