Bring CGI docs pretty much up to date

[disorder] / CHANGES

diff --git a/CHANGES b/CHANGES
index 91ab4e1f26f3546b61e43dec5917406d44299719..b4c0a22ef5083ef3db637e1a226674dad61ec99a 100644 (file)
--- a/CHANGES
+++ b/CHANGES
@@ -21,6 +21,14 @@ This has been completely rewritten to support new features:
 There is now a new user management window.  From here you can add and
 remove users or modify their settings.
 
+Relatedly, the server will only allow remote user management if you set
+remote_userman to 'yes'.
+
+** Miscellaneous
+
+scripts/setup now honors command line options, and can set up network
+play as well as the local default sound device.
+
 * Changes up to version 3.0.2
 
 Builds --without-server should work again.