[Echobase-commits] branch release/4.0.12 deleted (was d8157d8d)