まじかんと雑記

対話モードで SIGINT を送るとコマンドの実行を中止できる機能を随分前に付けたのだが、コマンドを中止した後にそれを解除するタイミングを誤っていて次のコマンドが実行されなくなるという不具合 (#22118) を修正した。