Merge branch 'YosysHQ-master'
authorAman Goel <amangoel@umich.edu>
Wed, 4 Jul 2018 19:14:58 +0000 (15:14 -0400)
committerAman Goel <amangoel@umich.edu>
Wed, 4 Jul 2018 19:14:58 +0000 (15:14 -0400)

Trivial merge