Merge pull request #1423 from YosysHQ/eddie/techmap_replace_wire
authorEddie Hung <eddie@fpgeh.com>
Thu, 3 Oct 2019 02:40:39 +0000 (19:40 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 02:40:39 +0000 (19:40 -0700)
RFC: techmap to recognise wires named "_TECHMAP_REPLACE_.<suffix>"


Trivial merge