Merge pull request #2205 from whitequark/fix-2204
authorwhitequark <whitequark@whitequark.org>
Tue, 30 Jun 2020 00:08:08 +0000 (00:08 +0000)
committerGitHub <noreply@github.com>
Tue, 30 Jun 2020 00:08:08 +0000 (00:08 +0000)
techmap: don't drop attributes on replaced cells


Trivial merge