Merge "Enable extra flag for both master and nodes"
authorTrevor Tao <trevor.tao@arm.com>
Mon, 25 Mar 2019 08:42:43 +0000 (08:42 +0000)
committerGerrit Code Review <gerrit@akraino.org>
Mon, 25 Mar 2019 08:42:43 +0000 (08:42 +0000)

Trivial merge