From 957631efb35c6f73009713cf029d567d21ad45da Mon Sep 17 00:00:00 2001
From: Diggory Hardy <git@dhardy.name>
Date: Sat, 7 Oct 2023 10:50:14 +0100
Subject: [PATCH] Fix PR #

---
 other/widget_id.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/other/widget_id.md b/other/widget_id.md
index f9f3360..23f75a4 100644
--- a/other/widget_id.md
+++ b/other/widget_id.md
@@ -1,7 +1,7 @@
 WidgetId
 ========
 
--   Pull request: [#1](https://github.com/kas-gui/design/pull/1)
+-   Pull request: [#10](https://github.com/kas-gui/design/pull/10)
 -   Other relevant links here
 
 **Scope:** widget identifiers (paths)