Merge pull request #98 from YosysHQ/cosa2_to_pono
authorclairexen <claire@symbioticeda.com>
Fri, 3 Jul 2020 15:42:51 +0000 (17:42 +0200)
committerGitHub <noreply@github.com>
Fri, 3 Jul 2020 15:42:51 +0000 (17:42 +0200)
cosa2 -> pono rename


Trivial merge