Merge "Adding theme for Raspberry Pi" into devel/master
authorDavid Steele <david.steele@samsung.com>
Tue, 9 Nov 2021 10:30:45 +0000 (10:30 +0000)
committerGerrit Code Review <gerrit@review>
Tue, 9 Nov 2021 10:30:45 +0000 (10:30 +0000)

Trivial merge