note the PR number.

gugod · Jun 3, 2023 · 1fb40e9 · 1fb40e9
1 parent 4fe3b6f
commit 1fb40e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Changes b/Changes
@@ -1,4 +1,4 @@
-	- New command: make-shim
+	- New command: make-shim. Github PR #776.
 
 0.97
 	- Released at 2023-05-12T22:33:42+0900