diff --git a/NEWS b/NEWS index e0f89868..82a59312 100644 --- a/NEWS +++ b/NEWS @@ -83,6 +83,8 @@ Miscellaneous: