Merge pull request #11975 from br101/websocketpp-0.8.2
authorHannu Nyman <redacted>
Mon, 27 Apr 2020 15:20:35 +0000 (18:20 +0300)
committerGitHub <redacted>
Mon, 27 Apr 2020 15:20:35 +0000 (18:20 +0300)
websocketpp: Update to version 0.8.2


Trivial merge
git clone https://git.99rst.org/PROJECT