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)
commit2a77fe8b1a87d68d057e6d3907c977abe63c922a
treee4c72445df2823b2305a8a1348ddbf9bf7eebc13
parent097b1a9c748852f625625b8bce4f71213d00d475
parent5db9091a1707a06391b213e42da9e7aca85a1913
Merge pull request #11467 from wosk/add-miredo

miredo: Initial version 1.2.6