(async-logout): This message is not necessarily sent when a session

	disconnects and nobody is logged in.

doc/Protocol-A.texi

@@ -2,7 +2,7 @@
 @c
 @c FIXME: Explain how the garb works with nice and keep-commented
 @c
-@c $Id: Protocol-A.texi,v 1.73 1999/05/30 09:08:09 ceder Exp $
+@c $Id: Protocol-A.texi,v 1.74 1999/06/21 20:57:48 ceder Exp $
 @c %**start of header
 @setfilename protocol-a.info
 @settitle LysKOM Protocol A
@@ -7876,8 +7876,8 @@ of the mailbox conference.
 
 This message is sent when someone logs out. @code{pers-no} is the person
 logging out and @code{session-no} is the session in which the person is
-logging out. This message is also sent when a session disconnects, even
-if there is nobody logged on in the session.
+logging out. This message might also be sent when a session disconnects,
+even if there is nobody logged on in the session.