Update experts list by rhettinger · Pull Request #863 · python/devguide · GitHub
Skip to content

Update experts list - #863

Merged
rhettinger merged 1 commit into
mainfrom
prune_experts_raymond
May 11, 2022
Merged

rhettinger merged 1 commit into
mainfrom
prune_experts_raymond

Conversation

@rhettinger

Copy link
Copy Markdown
Contributor

No description provided.

@rhettinger
rhettinger merged commit 08c5f24 into main May 11, 2022
@rhettinger
rhettinger deleted the prune_experts_raymond branch May 11, 2022 00:09
AA-Turner pushed a commit to AA-Turner/devguide that referenced this pull request Jun 17, 2022
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.

2 participants