git log --pretty=oneline mono-3.6.0..mono-3.8.0|wc -l 711
git log --pretty=oneline mono-3.6.0..mono-3.8.0|wc -l
711