ostroproject / ostro-os

Ostro OS
Other
93 stars 43 forks source link

manual pull #140

Closed pohly closed 8 years ago

pohly commented 8 years ago

This includes https://github.com/ostroproject/meta-ostro/pull/227, which depends on changes included here. If this PR passes testing, https://github.com/ostroproject/meta-ostro/pull/227 must be merged as-is together with merging this PR here.