v8.2.0421
9645e2d9 · patch 8.2.0421: interrupting with CTRL-C does not always work ·