Merge branch 'deepsrc-b_fix_issue183'
authorAndrew Waterman <andrew@sifive.com>
Fri, 16 Mar 2018 17:08:47 +0000 (10:08 -0700)
committerAndrew Waterman <andrew@sifive.com>
Fri, 16 Mar 2018 17:08:47 +0000 (10:08 -0700)

Trivial merge