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


Trivial merge
git clone https://git.99rst.org/PROJECT