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)
commit958da054d2c22067a6ecde2b56efabc24f76651b
treefd2ddc41c99b96e0217998b89e4db835348f4aa2
parentd9257e06965aa5a861e189f28237e03d5f4a1bb3
parent82e3475453d4b6c3aebb78d55f0df2e399e35ce9
Merge pull request #12415 from haraldg/elektra_0.9.2

elektra: update to 0.9.2