Hi, I went through the old subversion trunk and release branches and worked out which old changes hadn't been merged. I've created a couple of pull requests, one for master and one for develop. The tips of both have identical content so after they're both merged, the develop pull request can be cleanly merged into master creating a nice merge base. They're at:
https://github.com/boostorg/mpl/pull/2 https://github.com/boostorg/mpl/pull/3 If there are no objections, I'll merge them in a few days time. Daniel _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost-maint
