Hello fellow developers, As you might remember many months ago I started asking library maintainers to merge the build (and sometimes source) changes needed to make it possible to consume Boost libraries in a modular way. At this point a good number of libraries have merged those PRs. And there have been a pair of Boost releases containing those changes. But there is still work to do. So far, we have: * 119 PRs merged so far! * 4 PRs needing work before they can be merged. * 1 PR that was merged to master but never merged to develop. * 45 PRs that can be merged immediately. What I'm asking now is for "forgiveness" as it were. The 45 PRs above are either PRs where the authors gave permission to the Boost github owners to review and merge. Or are for libraries that are effectively unmaintained (the authors did not respond to the PR or to the various requests for how to manage the changes, and haven't seen changes in them for some years). And the recent changes I made to the PRs was not with the build changes. But instead to fix the unmaintained CI of the libraries as they otherwise just did not work. What I want it for the github org owners to go ahead and merge these 45 PRs: https://github.com/users/grafikrobot/projects/1/views/7 Thank you. -- -- René Ferdinand Rivera Morell -- Don't Assume Anything -- No Supongas Nada -- Robot Dreams - http://robot-dreams.net