diff options
Diffstat (limited to 'doc/manual/release-notes.xml')
| -rw-r--r-- | doc/manual/release-notes.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/release-notes.xml b/doc/manual/release-notes.xml index a0b3ae68c214..463337e8d5ec 100644 --- a/doc/manual/release-notes.xml +++ b/doc/manual/release-notes.xml @@ -37,6 +37,11 @@ <listitem><para>TODO: magic <varname>exportReferencesGraph</varname> attribute.</para></listitem> + + <listitem><para>TODO: option <option>--max-silent-time</option>, + configuration setting + <literal>build-max-silent-time</literal>.</para></listitem> + </itemizedlist> |