mathlib3
cleanup(order|string)
#1629
Merged

cleanup(order|string) #1629

mergify merged 2 commits into master from clean_string_DLO
fpvandoorn
fpvandoorn cleanup(order|string)
3c21e8a5
fpvandoorn fpvandoorn added awaiting-review
cipher1024
cipher1024
cipher1024 approved these changes on 2019-10-28
fpvandoorn fpvandoorn removed awaiting-review
fpvandoorn fpvandoorn added ready-to-merge
mergify[bot] Merge branch 'master' into clean_string_DLO
21ee2462
mergify mergify merged e6e25d06 into master 6 years ago
mergify mergify deleted the clean_string_DLO branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone