Revision 831d7d74598cc9d176359cd0e63ebba705ecd0fc

Committed on 16/02/2018 3:26 pm by Emmanuel Drouet <[email protected]> [GitHub Diff]

fix package detection if no dev-master exists

Share your information