diff --git a/doc/dox/whatsnew.dox b/doc/dox/whatsnew.dox index 6d5e7a5e4a..e2b01aecec 100644 --- a/doc/dox/whatsnew.dox +++ b/doc/dox/whatsnew.dox @@ -95,6 +95,11 @@ Changes, compared to \ref page_whatsnew_V2018_08 "v2018.08" include: