Merge pull request #1316 from YosysHQ/eddie/fix_mem2reg
authorClifford Wolf <clifford@clifford.at>
Thu, 22 Aug 2019 08:24:42 +0000 (10:24 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Aug 2019 08:24:42 +0000 (10:24 +0200)
mem2reg to preserve user attributes and src


Trivial merge