Diff git-sources-7.0_rc7 with a git-sources-7.2_rc1

Thank you!