Merge pull request #12415 from haraldg/elektra_0.9.2
authorRosen Penev <rosenp@gmail.com>
Mon, 8 Jun 2020 20:44:07 +0000 (13:44 -0700)
committerGitHub <noreply@github.com>
Mon, 8 Jun 2020 20:44:07 +0000 (13:44 -0700)
elektra: update to 0.9.2


Trivial merge