PR #6343 More similarity index digits

More similarity index digits #6343

konstin merged 1 commit into main from more_format_dev_digits

More format dev digits

9f879763

konstin added formatter

zanieb approved these changes on 2023-08-04

konstin merged 9bb21283 into main 2 years ago

konstin deleted the more_format_dev_digits branch 2 years ago

Reviewers

zanieb

Assignees

No one assigned

Labels

formatter

Milestone

No milestone