Fix gavel gap (#1744)

* Fix `gavel` gap * Update gavel.json
2026-11-13 13:48:26 +00:00 · 2023-12-24 12:26:02 +01:00
parent 3648e02992
commit 0a69fb9e52
2 changed files with 4 additions and 3 deletions
@@ -2,7 +2,8 @@
  "$schema": "../icon.schema.json",
  "contributors": [
    "Andreto",
-    "ericfennis"
+    "ericfennis",
+    "jguddas"
  ],
  "tags": [
    "hammer",
@@ -12,4 +13,4 @@
    "maps",
    "tools"
  ]
-}
+}
@@ -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" />