Merge pull request #11467 from wosk/add-miredo
authorRosen Penev <rosenp@gmail.com>
Sun, 22 Mar 2020 18:57:20 +0000 (11:57 -0700)
committerGitHub <noreply@github.com>
Sun, 22 Mar 2020 18:57:20 +0000 (11:57 -0700)
miredo: Initial version 1.2.6


Trivial merge