Restart analysis if revision changes during validation#31

Merged

stefanprodan merged 3 commits intomasterfrom reset

Jan 18, 2019

+274-92

Commits on Jan 17, 2019

Restart validation if revision changes during analysis
stefanprodan
committed

Commits on Jan 18, 2019