--- a/doc/4.0.rst	Wed Jun 19 12:00:54 2013 +0200
+++ b/doc/4.0.rst	Mon Jun 24 12:39:25 2013 +0200
@@ -21,6 +21,8 @@
 * ``repo.gc_stats()`` is now deprecated. The same information are available through
   a service (``_cw.call_service('repo_gc_stats')``)
 
+* ``request.set_session`` no longer takes an optional ``user`` argument.
+
 
 Deprecated Code Drops
 ----------------------