Merge branch 'master' of https://github.com/YosysHQ/yosys into gowin
authorPepijn de Vos <pepijndevos@gmail.com>
Sat, 16 Nov 2019 11:43:17 +0000 (12:43 +0100)
committerPepijn de Vos <pepijndevos@gmail.com>
Sat, 16 Nov 2019 11:43:17 +0000 (12:43 +0100)

Trivial merge