Merge "remove old repos" into devel
authorChunhua Liu <chunhua1.liu@samsung.com>
Mon, 23 May 2022 07:46:22 +0000 (07:46 +0000)
committerGerrit Code Review <gerrit@review>
Mon, 23 May 2022 07:46:22 +0000 (07:46 +0000)

Trivial merge