From 74c5fdc433ab2b19a2ad20ca25490a852e5a0453 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Mon, 3 May 2021 14:28:37 +0100 Subject: [PATCH] update: Use &Html rather than &Arc Signed-off-by: Ian Jackson --- src/updates.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/updates.rs b/src/updates.rs index 6307dc45..ebfb9373 100644 --- a/src/updates.rs +++ b/src/updates.rs @@ -240,11 +240,11 @@ enum TransmitUpdateEntry<'u> { AddPlayer { player: PlayerId, data: &'u DataLoadPlayer, - new_info_pane: &'u Arc, + new_info_pane: &'u Html, }, RemovePlayer { player: PlayerId, - new_info_pane: &'u Arc, + new_info_pane: &'u Html, }, SetLinks(Html), #[serde(serialize_with="serialize_logentry")] -- 2.30.2