v8.1.1377
fcc4d921 · patch 8.1.1377: MS-Windows GUI uses wrong shell command for bash ·