[Tutti-commits] 05/05: Fixes #8128 Merge branch 'feature/8128' into develop