[Tutti-commits] branch release/4.2-rc-2 deleted (was 5c11dd5)