Skip to content
This repository was archived by the owner on Mar 14, 2023. It is now read-only.

Allow r? assignment of team without ping #350

Merged
merged 1 commit into from
Aug 4, 2021

Conversation

LeSeulArtichaut
Copy link
Contributor

Also cleaned up the code because why did I write these awful if ... is None chains???

r? @Mark-Simulacrum

@Mark-Simulacrum Mark-Simulacrum merged commit f2ef639 into rust-lang:master Aug 4, 2021
@LeSeulArtichaut LeSeulArtichaut deleted the assign-team branch August 4, 2021 10:54
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