From 90abf5ab14d67e6722025b9d792dea5453a1947d Mon Sep 17 00:00:00 2001
From: Andras Schmelczer <andras@schmelczer.dev>
Date: Sun, 19 Oct 2025 14:57:49 +0100
Subject: [PATCH] Fix lint

---
 sync-server/src/server/delete_document.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sync-server/src/server/delete_document.rs b/sync-server/src/server/delete_document.rs
index a9fd1d4d..fa9d578c 100644
--- a/sync-server/src/server/delete_document.rs
+++ b/sync-server/src/server/delete_document.rs
@@ -66,7 +66,7 @@ pub async fn delete_document(
         is_deleted: true,
         user_id: user.name,
         device_id: device_id.0,
-        has_been_merged: false
+        has_been_merged: false,
     };
 
     state