Wt

Hi,

Witty 4.6/4.7 gives warning about BOOST_HEADER_DEPRECATED with the latest boost. We jumped from 1.65 to 1.78. Not a real issue, but thought I would let you know.

Regard,

• Mario