Skip to content

backport: Use interaction.input_line

Use interaction.input_line() instead of plain input() in
preparation for alternate front-ends.

Edited by Ahmon Dancy

Merge request reports