[Lima-commits] 06/06: Merge branch 'feature/1233' into develop