Merge pull request #9134 from neheb/o
authorRosen Penev <rosenp@gmail.com>
Mon, 10 Jun 2019 18:52:55 +0000 (11:52 -0700)
committerGitHub <noreply@github.com>
Mon, 10 Jun 2019 18:52:55 +0000 (11:52 -0700)
libcoap: Update to 4.2.0 and switch to codeload


Trivial merge