[Tutti-commits] 03/03: Merge branch 'release/3.13.7' into support/3.13.x