[Echobase-commits] 01/01: Merge branch 'release/4.2-rc3'