Hi Could we cleanup some of the branches on the main repo? the devel-arm and devel-android are not needed.
Maybe there's something I'm not aware, but what is the policy with the other branches? should in the main repo only be release branches so we don't confuse users? Pedro.
