[Echobase-commits] branch release/4.0.2 deleted (was 958a07b)