diff options
| author | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-05-17 09:33:13 +0200 |
|---|---|---|
| committer | Alois Wohlschlager <alois1@gmx-topmail.de> | 2024-05-21 16:34:04 +0200 |
| commit | d5fdb995d3425df88e9e08a4fae724515309c47a (patch) | |
| tree | 9a0ff23dddafe053a499b34f2a657e74f0aa40c4 /doc | |
| parent | 3de77e6dbd88e84fd555e25f31a57959f8c28dd5 (diff) | |
doc: fix repl-interrupt release note entry
The timing of the merge resulted in the newly introduced metadata not being
present.
Change-Id: I07f28cf37703ec05c3e1b96301797a42d913264b
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/change-authors.yml | 4 | ||||
| -rw-r--r-- | doc/manual/rl-next/repl-interrupt.md | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/doc/manual/change-authors.yml b/doc/manual/change-authors.yml index 46164f5b1..1b59da9ca 100644 --- 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 diff --git a/doc/manual/rl-next/repl-interrupt.md b/doc/manual/rl-next/repl-interrupt.md index 61a8ab71e..da0bc698e 100644 --- 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. |