stash: optionally use the scripted version again
[git/git.git] / git-legacy-stash.sh
2019-03-07 Johannes Schindelinstash: optionally use the scripted version again