diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/7.12.1-notes.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/7.12.1-notes.xml b/docs/users_guide/7.12.1-notes.xml index 582966639e..3916e7105a 100644 --- a/docs/users_guide/7.12.1-notes.xml +++ b/docs/users_guide/7.12.1-notes.xml @@ -188,6 +188,12 @@ char literals. </para> </listitem> + <listitem> + <para> + <literal>addTopDecls</literal> now accepts annotation + pragmas. + </para> + </listitem> </itemizedlist> </sect3> |