branching#17

Open

vardhan111 wants to merge 3 commits intokevinsawicki:masterfrom

vardhan111:master

Commits on Jun 10, 2019

changing the version
root
committed
new change
root
committed

Commits on Jun 27, 2019

adding branching sstratagies
hpolnati
committed