Skip to content

Conversation

chorman0773
Copy link
Contributor

This adds the project-deref-patterns project group

@Manishearth
Copy link
Member

r? @joshtriplett

@rylev
Copy link
Member

rylev commented Mar 29, 2022

@chorman0773 @joshtriplett this seems a bit stale. Can this be closed?

@rylev
Copy link
Member

rylev commented Apr 6, 2022

Going to close this for now since it seems to not be needed. We can reopen should we indeed need it.

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.

3 participants