Hello all, I have just merged develop to master (as you no doubt noticed if you are subscribed to the commits list!). From now on, all commits should go into separate feature branches; develop is deprecated and should not be used anymore. The Mynewt branching policy is defined here: https://cwiki.apache.org/confluence/display/MYNEWT/Release+and+Support+Policy
There is a related annoyance that contributors will need to deal with: existing pull requests. All the existing PRs have a target branch of "develop"; these will need to be updated to have a target branch of "master". Sorry for the hassle, everyone. All questions and concerns are welcome. Chris