[Tutti-commits] 04/07: Merge branch 'release/3.12.1'