Fix false positive in manual_flatten
#6962
Merged
bors merged 2 commits intorust-lang:masterfrom TaKO8Ki:fix-false-positive-in-manual-flattenMar 24, 2021
+106-14
Commits
Commits on Mar 24, 2021
- committed
- committed
manual_flatten
#6962