New lint [manual_try_fold
]#11012
Merged
bors merged 5 commits intorust-lang:masterfrom Centri3:manual_try_foldJul 1, 2023
+224-3
Commits
Commits on Jul 1, 2023
- committed
- committed
- committed
- committed
- committed
manual_try_fold
]#11012