Merge branch 'main' into collab-panel

2023-08-02 09:20:53 -07:00
parent a555fa1ada a127b0d3e6
commit 7d97d1dd8d
7 changed files with 5 additions and 9 deletions
@@ -183,7 +183,7 @@ async fn apply_server_operation(
            let username;
            {
                let mut plan = plan.lock();
-                let mut user = plan.user(user_id);
+                let user = plan.user(user_id);
                if user.online {
                    return false;
                }