v8.1.0070
222cd20e · patch 8.1.0070: missing part of the changes for prompt_setinterrupt() ·