diff options
-rw-r--r-- | Misc/NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Misc/NEWS b/Misc/NEWS index e442df896e5..73a985b5a87 100644 --- a/Misc/NEWS +++ b/Misc/NEWS @@ -105,6 +105,8 @@ Extension Modules Library ------- +- Removed all traces of the sets module. + Build ----- |