diff --git a/Misc/NEWS b/Misc/NEWS index 31c31c23078..7dc18402f1f 100644 --- a/Misc/NEWS +++ b/Misc/NEWS @@ -205,3 +205,4 @@ Tools/Demos ----------- **(For information about older versions, consult the HISTORY file.)** +