boost/timer.hpp BOOST_HEADER_DEPRECATED

[aewallin]

compiling gives a few of these warnings:

/usr/include/boost/timer.hpp:21:1: note: #pragma message: This header is deprecated. Use the facilities in <boost/timer/timer.hpp> instead.
21 | BOOST_HEADER_DEPRECATED( "the facilities in <boost/timer/timer.hpp>" )

[aewallin]

should be fixed now