[Tutti-commits] branch release/4.0.7 deleted (was a0444bc)