Relocate boostorg/disjoint_sets into graph #169
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Reasons for this:
The disjoint_sets headers are still in boost/pending, as graph already has a number of these.
The history of the files in disjoint_sets has not been preserved (I believe this would require a rebase and force push to achieve, and does not seem worth the trouble it would cause).
Completing this work will require some coordination - pull requests after this will be:
This may require an announcement for all developers so they can update their local sandboxes.
This fixes #113