Merge "Change seba installation for cord 7.0.0"
authorTrevor Tao <trevor.tao@arm.com>
Mon, 13 Apr 2020 08:13:04 +0000 (08:13 +0000)
committerGerrit Code Review <gerrit@akraino.org>
Mon, 13 Apr 2020 08:13:04 +0000 (08:13 +0000)

Trivial merge