d5fdb995d3
The timing of the merge resulted in the newly introduced metadata not being present. Change-Id: I07f28cf37703ec05c3e1b96301797a42d913264b
330 B
330 B
synopsis | cls | category | credits |
---|---|---|---|
Interrupting builds in the REPL works more than once | 1097 | Fixes | 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.