ruff
Move `Ranged` into `ruff_text_size`
#6919
Merged

Move `Ranged` into `ruff_text_size` #6919

charliermarsh merged 1 commit into main from charlie/move
charliermarsh
charliermarsh charliermarsh requested a review from MichaReiser MichaReiser 2 years ago
charliermarsh charliermarsh added internal
charliermarsh charliermarsh marked this pull request as draft 2 years ago
charliermarsh
charliermarsh Move Ranged into ruff_text_size
537ee2a2
charliermarsh charliermarsh force pushed from bdc2b6b8 to 537ee2a2 2 years ago
charliermarsh charliermarsh marked this pull request as ready for review 2 years ago
MichaReiser
MichaReiser
MichaReiser approved these changes on 2023-08-27
github-actions
charliermarsh
MichaReiser
charliermarsh charliermarsh merged fc89976c into main 2 years ago
charliermarsh charliermarsh deleted the charlie/move branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone