Merge pull request #11975 from br101/websocketpp-0.8.2
authorHannu Nyman <hannu.nyman@iki.fi>
Mon, 27 Apr 2020 15:20:35 +0000 (18:20 +0300)
committerGitHub <noreply@github.com>
Mon, 27 Apr 2020 15:20:35 +0000 (18:20 +0300)
commit85d14aa216b174a0f01d0cfbe30af1f7c4499725
tree23c75e33783dd15d8684faf1fe4cb33797977c1d
parent1f8c2af5daaa672bbf9b7cf2b56f16017809ad21
parent04b27feb48e61783769249e54f28af221851a0a6
Merge pull request #11975 from br101/websocketpp-0.8.2

websocketpp: Update to version 0.8.2