Merge branch 'ubuntu-symbols' into 'master'
authorArun Kumar Pariyar <openarungeek@gmail.com>
Tue, 22 Dec 2020 13:08:14 +0000 (13:08 +0000)
committerArun Kumar Pariyar <openarungeek@gmail.com>
Tue, 22 Dec 2020 13:08:14 +0000 (13:08 +0000)
Mark some symbols as optional to fix build on Ubuntu

See merge request pkg-deepin-team/dtkcore!5


Trivial merge