Merge branch 'master' of https://github.com/YosysHQ/yosys
authortklam <tklam@easylogic.hk>
Wed, 3 Oct 2018 13:17:03 +0000 (21:17 +0800)
committertklam <tklam@easylogic.hk>
Wed, 3 Oct 2018 13:17:03 +0000 (21:17 +0800)

Trivial merge