Bug pasting multiple lines with indent

[kim1]

Select two or more lines, but not the whole of the last line (the selection must not end with a line end marker). Copy the selection.

At the start of a blank line, enter one or more spaces or tab characters, then paste the copied lines.

All but the last line of the paste are indented. The last line is not indented if it does not end with a line end marker.

(Bug present in at least versions 4.7.2 and 4.7.3.)