What are the purposes of the git branches? I see `devel` is actively worked on 
(mostly bug fixes), `version-0-20` is about a week old (some bug fixes from 
`devel`?), `master` is stuck in 0.19. What would be the hypothetical `v1.0` 
branched off of?

Reply via email to