Skip to content

Conversation

@evaleev
Copy link
Member

@evaleev evaleev commented May 16, 2022

…port stuff is no longer necessary

@evaleev evaleev merged commit 67194a0 into master May 16, 2022
@evaleev evaleev deleted the evaleev/fix/boost-imported-targets-global branch May 16, 2022 21:02
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