diff options
Diffstat (limited to 'lib/snmp/doc')
| -rw-r--r-- | lib/snmp/doc/src/notes.xml | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/lib/snmp/doc/src/notes.xml b/lib/snmp/doc/src/notes.xml index b47007202e..9e685174b7 100644 --- a/lib/snmp/doc/src/notes.xml +++ b/lib/snmp/doc/src/notes.xml @@ -39,19 +39,18 @@ <section> <title>Improvements and new features</title> +<!-- <p>-</p> +--> -<!-- <list type="bulleted"> <item> - <p>Bad note store GC timer deactivation. - Wrong field in the state record was set (timeout instead active). </p> - <p>Stefan Grundmann</p> - <p>Own Id: OTP-9690</p> + <p>[compiler] Improved version info printout from the + <seealso marker="snmpc(command)#">MIB compiler frontend escript</seealso>. </p> + <p>Own Id: OTP-9618</p> </item> </list> ---> </section> |