Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update dashmap version. #3355

Closed
wants to merge 1 commit into from
Closed

Conversation

danalex97
Copy link

Differential Revision: D26423198

Differential Revision: D26423198

fbshipit-source-id: adeb7cf80e56b88dd79f9fc7ad0c9e4e885cf160
@facebook-github-bot
Copy link
Contributor

This pull request was exported from Phabricator. Differential Revision: D26423198

danalex97 pushed a commit to danalex97/eden that referenced this pull request Feb 12, 2021
Summary:
Pull Request resolved: facebook/relay#3355

Followed [this guide](https://www.internalfb.com/intern/wiki/Rust-at-facebook/Managing_fbsource_third-party_with_Reindeer/) to update the dependecies.

For more context on serde error fixed by this update, check this xacrimon/dashmap#133

Differential Revision: D26423198

fbshipit-source-id: f057350488367fd7c0cdf27d4bbd575473c3c7ae
@danalex97 danalex97 closed this Feb 12, 2021
facebook-github-bot pushed a commit to facebook/sapling that referenced this pull request Feb 12, 2021
Summary:
Pull Request resolved: #73

Pull Request resolved: facebook/relay#3355

Followed [this guide](https://www.internalfb.com/intern/wiki/Rust-at-facebook/Managing_fbsource_third-party_with_Reindeer/) to update the dependecies.

For more context on serde error fixed by this update, check this xacrimon/dashmap#133

Differential Revision: D26423198

fbshipit-source-id: 1a98ffe84d423bd9417a9b3049044dac01639637
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants