Skip to content

Conversation

@james-rank
Copy link

Potential fix for Issue 109. Rather than download from a repo it now pulls directly from github.

I realise this change needs to be done in bitbucket but I'd already forked and made the change in github. This PR can be deleted if the change is added to bitbucket.

@tomcreutz
Copy link

tomcreutz commented Jan 12, 2022

There is an alternative download link - see here : https://www.boost.org/users/news/boost_has_moved_downloads_to_jfr.html
Boost Mirror could simply be adapted like this .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants