Merge "Fix a crash on Ubuntu" into devel/master
authorAdeel Kazmi <adeel.kazmi@samsung.com>
Thu, 9 Apr 2020 13:58:34 +0000 (13:58 +0000)
committerGerrit Code Review <gerrit@review>
Thu, 9 Apr 2020 13:58:34 +0000 (13:58 +0000)

Trivial merge