Diff git-sources-7.2_rc3 with a git-sources-7.2_rc7

Thank you!