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

Thank you!