aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--protocol.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/protocol.md b/protocol.md
index 7fc912a..549ac01 100644
--- a/protocol.md
+++ b/protocol.md
@@ -232,7 +232,7 @@ are listed below.
user entered.
- `_push leave <roomname:word> <user:word>`
- When user X leaves room R, this push message is sent to: 1. all sessions of
- all remaining users in room R, and 2. all sessions of user X that did were
- not the one to send the initiating `leave_room` command.
+ all remaining users in room R, and 2. all sessions of user X that were not
+ the one to send the initiating `leave_room` command.
- `_push ping`
- Sent by the server once in a while. Please ignore.