Skip to content
This repository was archived by the owner on Nov 21, 2018. It is now read-only.

Update link to recorded timings #5

Merged
merged 1 commit into from
May 26, 2016
Merged

Update link to recorded timings #5

merged 1 commit into from
May 26, 2016

Conversation

aochagavia
Copy link
Contributor

No description provided.

@nrc nrc merged commit 42b3ef9 into rust-lang-deprecated:master May 26, 2016
@nrc
Copy link
Contributor

nrc commented May 26, 2016

Thanks!

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants