Notes added by 'git notes append'

2024-07-17 11:33:23 +09:00 · 2024-07-17 11:33:23 +09:00 · 612104724c
commit 612104724c
parent 7b4c3f6b90
1 changed files with 1 additions and 0 deletions
--- a/db/1d839559a81f231b0cabc3c9033e9813e1cfcc
+++ b/db/1d839559a81f231b0cabc3c9033e9813e1cfcc
@ -1,2 +1,3 @@
 Author: https://github.com/djwisdom
 Commit: https://github.com/SerenityOS/serenity/commit/db1d839559
+Pull-request: https://github.com/SerenityOS/serenity/pull/13759