Skip to content

Fix Arcadia #10569#10643

Merged
alexey-milovidov merged 1 commit intomasterfrom
fix-arcadia
May 3, 2020
Merged

Fix Arcadia #10569#10643
alexey-milovidov merged 1 commit intomasterfrom
fix-arcadia

Conversation

@alexey-milovidov
Copy link
Copy Markdown
Member

Changelog category (leave one):

  • Non-significant (changelog entry is not required)

Arcadia is using different version of libc++.

@blinkov blinkov added the pr-not-for-changelog This PR should not be mentioned in the changelog label May 3, 2020
@alexey-milovidov alexey-milovidov merged commit 1c89273 into master May 3, 2020
@alexey-milovidov alexey-milovidov deleted the fix-arcadia branch May 3, 2020 21:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-docs-needed pr-not-for-changelog This PR should not be mentioned in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants