v8.1.0513
d0721058 · patch 8.1.0513: no error for set diffopt+=algorithm: ·