Merge pull request #13112 from neheb/isn
authorRosen Penev <rosenp@gmail.com>
Fri, 14 Aug 2020 09:18:10 +0000 (02:18 -0700)
committerGitHub <noreply@github.com>
Fri, 14 Aug 2020 09:18:10 +0000 (02:18 -0700)
open-isns: fix compilation without deprecated signal API


Trivial merge