Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

Remove some obsolete links #883

Merged
merged 1 commit into from
Jul 25, 2017
Merged

Conversation

matklad
Copy link
Member

@matklad matklad commented Jul 25, 2017

  • We don't have AUTHORS.txt anymore, and there are over 2000 contributors ❣️

  • Subteam reports repo seems to be dead

* We don't have AUTHORS.txt anymore, and there are over 2000 contributors ❣️

* Subteam reports repo seems to be dead
@steveklabnik steveklabnik merged commit 8157094 into rust-lang:master Jul 25, 2017
@steveklabnik
Copy link
Member

Nice catch, 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