On 06/11/2018 09:33 PM, Paul Koning wrote: > > >> On Jun 8, 2018, at 7:09 AM, Martin Liška <mli...@suse.cz> wrote: >> >> Hi. >> >> First follow-up MPX removal patch comes up with Deprecated option flag. >> That prints warning for options that have no effect: > > Should this be mentioned in the internals manual (section 8.2)? > > paul >
Thanks for noticing that. Done and installed as r261497. Martin
