Notes added by 'git notes append'

2024-07-17 11:43:59 +09:00 · 2024-07-17 11:43:59 +09:00 · 1f3c7c9bb3
commit 1f3c7c9bb3
parent 7e20754fcd
1 changed files with 1 additions and 0 deletions
--- a/c3/5a456651b3fb41991f8ef9f81d024cc0004136
+++ b/c3/5a456651b3fb41991f8ef9f81d024cc0004136
@ -1,2 +1,3 @@
 Author: https://github.com/djwisdom
 Commit: https://github.com/SerenityOS/serenity/commit/c35a456651
+Pull-request: https://github.com/SerenityOS/serenity/pull/13719