Merge "doc: fix repl-interrupt release note entry" into main

2024-05-22 18:59:54 +00:00 · 2024-05-22 18:59:54 +00:00 · 0bf4c2971f
commit 0bf4c2971f
parent 20981461d4 d5fdb995d3
2 changed files with 6 additions and 0 deletions
--- a/doc/manual/change-authors.yml
+++ b/doc/manual/change-authors.yml
@ -71,3 +71,7 @@ puck:
  display_name: puck
  forgejo: puck
  github: puckipedia
+
+alois31:
+  forgejo: alois31
+  github: alois31
--- a/doc/manual/rl-next/repl-interrupt.md
+++ b/doc/manual/rl-next/repl-interrupt.md
@ -1,6 +1,8 @@
 ---
 synopsis: Interrupting builds in the REPL works more than once
 cls: 1097
+category: Fixes
+credits: alois31
 ---

 Builds in the REPL can be interrupted by pressing Ctrl+C.