Merge branch 'master' of https://github.com/YosysHQ/yosys
authortklam <tklam@easylogic.hk>
Sat, 13 Oct 2018 14:52:31 +0000 (22:52 +0800)
committertklam <tklam@easylogic.hk>
Sat, 13 Oct 2018 14:52:31 +0000 (22:52 +0800)

Trivial merge