On Fri, Mar 15, 2013 at 10:35:29PM +0000, Richard Hopkins wrote: > --- On Fri, 15/3/13, Markus Wanner <mar...@bluegap.ch> wrote: > > To me, it looks like dynamic_pointer_cast is old enough to > > be usable for > > us. At least according to their documentation, it is > > included since 1.34: > > > One of my installs has boost 1.36 and your commit (dfe4b) > compiles fine on it. > > My vote is for a release soon ;-)
For reference, Debian stable has libboost packages with versin number 1.42.0-4. -- hendrik _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/monotone-devel