Commits
Merge branch '2019-11-23-master-imports' - More travis job splits - Assorted build clean-ups - Correct optimization flags for some ARMv6 platforms
Merge branch '2019-11-23-master-imports' - More travis job splits - Assorted build clean-ups - Correct optimization flags for some ARMv6 platforms