[Echobase-commits] branch release/4.0.12 updated (9941b726 -> d8157d8d)