Merge pull request #2817 from elsid/fix_build

Fix build with boost 1.73
pull/578/head
Bret Curtis 5 years ago committed by GitHub
commit eeb13ad8a3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -13,6 +13,7 @@
#include <boost/optional.hpp>
#include <algorithm>
#include <map>
#include <mutex>
#include <unordered_map>

Loading…
Cancel
Save