Merge pull request #2104 from whitequark/simplify-techmap
authorwhitequark <whitequark@whitequark.org>
Wed, 3 Jun 2020 12:45:02 +0000 (12:45 +0000)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 12:45:02 +0000 (12:45 +0000)
techmap: simplify


Trivial merge