Use master branch instead of develop for leap_platform
We decided a while ago to drop the develop branch, right after releasing 0.9 is the best time for it.
(from redmine: created on 2016-10-25)
We decided a while ago to drop the develop branch, right after releasing 0.9 is the best time for it.
(from redmine: created on 2016-10-25)