Revision 831d7d74598cc9d176359cd0e63ebba705ecd0fc

Committed on 16/02/2018 3:26 pm by Emmanuel Drouet <emmanuel.drouet@gmail.com> [GitHub Diff]

fix package detection if no dev-master exists