From 41cb7622d447512cab540c37cb7ef505894ed39f Mon Sep 17 00:00:00 2001
From: KrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>
Date: Wed, 3 Apr 2024 11:04:25 +1300
Subject: [PATCH] Fix typo (mergeing -> merging)

---
 PR-Labels.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PR-Labels.md b/PR-Labels.md
index 95f9850..6581cb2 100644
--- a/PR-Labels.md
+++ b/PR-Labels.md
@@ -12,7 +12,7 @@ These labels provide a bit more context beyond the draft/open/closed PR status
   * [**status-superseded**](/YosysHQ/yosys/issues?q=label%3Astatus-superseded): Status: Work continues in a different PR or was made redundant
   * [**status-needs-review**](/YosysHQ/yosys/issues?q=label%3Astatus-needs-review): Status: Needs reviewers to move forward
 
-## Mergeing
+## Merging
 
 These labels indicate when a PR is about to be merged, making it easier to prioritize additional reviews.