[Tutti-commits] branch develop-4.2.x deleted (was 767a790)