[Echobase-commits] 03/06: Merge branch 'release/2.7.2'