v8.2.4987
3fcccf94 · patch 8.2.4987: after deletion a small fold may be closable ·