Merge pull request #5462

b672d4d6 epee: use boost/timer/timer.hpp, boost/timer.hpp is deprecated (moneromooo-monero)
This commit is contained in:
Riccardo Spagni 2019-04-18 22:02:14 +02:00
commit 9b10072f7b
No known key found for this signature in database
GPG Key ID: 55432DF31CCD4FCD

View File

@ -32,7 +32,7 @@
#include <list> #include <list>
#include <numeric> #include <numeric>
#include <boost/timer.hpp> #include <boost/timer/timer.hpp>
#include <boost/uuid/uuid.hpp> #include <boost/uuid/uuid.hpp>
#include <boost/uuid/random_generator.hpp> #include <boost/uuid/random_generator.hpp>