[Echobase-commits] 08/08: fixes #6513