Merge pull request #14254 from dbermond/miniupnpc-add-installdev
authorRosen Penev <rosenp@gmail.com>
Thu, 17 Dec 2020 22:35:21 +0000 (14:35 -0800)
committerGitHub <noreply@github.com>
Thu, 17 Dec 2020 22:35:21 +0000 (14:35 -0800)
miniupnpc: add InstallDev


Trivial merge