[Tutti-commits] branch release/4.0-RC3 updated (25fc279 -> b3e3ae9)