Skip to content

Fix flag of git-worktree in test_branch.sh and bisect.sh#1027

Merged
gpetiot merged 4 commits intoocaml-ppx:masterfrom gpetiot:fix-test-branchSep 24, 2019