Re: [boost] [exception] library update

vicente.botet:

#ifdef BOOST_NO_EXCEPTIONS_USER_SLOT #include BOOST_NO_EXCEPTIONS_USER_SLOT #endif // BOOST_NO_EXCEPTIONS_USER_SLOT

void throw_exception(std::exception const & e);

I see your point. The reason we don't do that at present is that nobody asked for it.