[Echobase-commits] 01/01: fixes #9686