Merge pull request #2737 from YosysHQ/claire/fix2736
authorClaire Xen <claire@clairexen.net>
Mon, 26 Apr 2021 15:54:30 +0000 (17:54 +0200)
committerGitHub <noreply@github.com>
Mon, 26 Apr 2021 15:54:30 +0000 (17:54 +0200)
Remove duplicates from conns array in JSON front-end, fixes #2736


Trivial merge