Hi, Could the latest changes in develop be merged to master? In particular I'm interested in commit f42e7f62873bca0f1b1fa44722c202f6a6fa6b6e.
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost-maint
