FIXED: [16.15b1] CTRL-DEL

[vha]

- have a line ending with e.g. "************************"
- put the cursor somewhere inside the '*'s
- hit CRTR-DEL

-> the CRLF at the end of the line is also deleted (which is not the case if the line contains characters or digits)

vha

[Rickard Johansson]

Fixed. Thanks!