Merge branch 'master' of https://github.com/YosysHQ/yosys into feature/python_wrapper...
authorBenedikt Tutzer <benedikt.tutzer@gmail.com>
Tue, 15 Oct 2019 08:13:21 +0000 (10:13 +0200)
committerBenedikt Tutzer <benedikt.tutzer@gmail.com>
Tue, 15 Oct 2019 08:13:21 +0000 (10:13 +0200)

Trivial merge