Merge "docs/developer-guide: update for debian build" into g-release
authorJackie Huang <jackie.huang@windriver.com>
Mon, 28 Nov 2022 09:43:34 +0000 (09:43 +0000)
committerGerrit Code Review <gerrit@o-ran-sc.org>
Mon, 28 Nov 2022 09:43:34 +0000 (09:43 +0000)

Trivial merge