Merge pull request #13218 from neheb/wave
authorRosen Penev <rosenp@gmail.com>
Thu, 27 Aug 2020 21:24:44 +0000 (14:24 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Aug 2020 21:24:44 +0000 (14:24 -0700)
wavemon: fix compilation with glibc


Trivial merge