Merge pull request #304 from kevinaboos/post_303_cleanup

minor cleanup after PR #303
project-robius · Dec 27, 2024 · 7ebc6d3 · 7ebc6d3
2 parents aafff38 + e009836
commit 7ebc6d3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/profile/user_profile_cache.rs b/src/profile/user_profile_cache.rs
@@ -233,8 +233,7 @@ where
 /// which isn't used, but acts as a guarantee that this function
 /// must only be called by the main UI thread.
 pub fn get_user_profile_and_room_member(
-#[allow(unused)]
-_cx: &mut Cx,
+    _cx: &mut Cx,
     user_id: OwnedUserId,
     room_id: &RoomId,
     fetch_if_missing: bool,