[Tutti-commits] 03/05: Merge branch 'release/3.12'