Enable extra warnings for mpy-cross and unix port#6510
Merged
dpgeorge merged 9 commits intomicropython:masterfrom Oct 22, 2020
Commits
Commits on Oct 22, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed