From 0a69fb9e5211d840b3e12ee962c26a010f809aa3 Mon Sep 17 00:00:00 2001
From: Jakob Guddas <github@jguddas.de>
Date: Sun, 24 Dec 2023 12:26:02 +0100
Subject: [PATCH] Fix `gavel` gap (#1744)

* Fix `gavel` gap

* Update gavel.json
---
 icons/gavel.json | 5 +++--
 icons/gavel.svg  | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/icons/gavel.json b/icons/gavel.json
index 5f2234339..5969917d4 100644
--- a/icons/gavel.json
+++ b/icons/gavel.json
@@ -2,7 +2,8 @@
   "$schema": "../icon.schema.json",
   "contributors": [
     "Andreto",
-    "ericfennis"
+    "ericfennis",
+    "jguddas"
   ],
   "tags": [
     "hammer",
@@ -12,4 +13,4 @@
     "maps",
     "tools"
   ]
-}
\ No newline at end of file
+}
diff --git a/icons/gavel.svg b/icons/gavel.svg
index 91f187452..dc6b41cb7 100644
--- a/icons/gavel.svg
+++ b/icons/gavel.svg
@@ -9,7 +9,7 @@
   stroke-linecap="round"
   stroke-linejoin="round"
 >
-  <path d="m14 13-7.5 7.5c-.83.83-2.17.83-3 0 0 0 0 0 0 0a2.12 2.12 0 0 1 0-3L11 10" />
+  <path d="m14.5 12.5-8 8a2.119 2.119 0 1 1-3-3l8-8" />
   <path d="m16 16 6-6" />
   <path d="m8 8 6-6" />
   <path d="m9 7 8 8" />