Merge pull request #191 from sergachev/master
authorTim Ansell <me@mith.ro>
Sun, 2 Jun 2019 20:00:20 +0000 (13:00 -0700)
committerGitHub <noreply@github.com>
Sun, 2 Jun 2019 20:00:20 +0000 (13:00 -0700)
Fix interrupt_name in soc_core/add_interrupt


Trivial merge