$ 0 0 Instead we should just use WebSocket++ since it already is a dependency.Comments: Fixed in the development branch.