[Echobase-commits] 03/06: fixes #8089: Migrate to ToPIA 3.0