d5fdb995d3
The timing of the merge resulted in the newly introduced metadata not being present. Change-Id: I07f28cf37703ec05c3e1b96301797a42d913264b
10 lines
330 B
Markdown
10 lines
330 B
Markdown
---
|
|
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.
|
|
Previously, this only worked once per REPL session; further attempts would be ignored.
|
|
This issue is now fixed, so that builds can be canceled consistently.
|