Diff git-sources-6.13_rc1 with a git-sources-6.13_rc5

Thank you!