commit | 5263d8ca27e3e2f72a9641465f5ab397f71a4525 | [log] [tgz] |
---|---|---|
author | Enrico Olivelli <eolivelli@gmail.com> | Fri Jul 17 20:45:31 2020 +0200 |
committer | GitHub <noreply@github.com> | Fri Jul 17 20:45:31 2020 +0200 |
tree | b5c6b53edac99db60747fbb4597c29048d69a374 | |
parent | 29ca489fc61b4ba78f5b41cef6fd7a8b8cb165b9 [diff] |
Switch to verify