7a6733 Raise an exception if the user tries to set a priority not in the repo

Authored and Committed by Pierre-Yves Chibon 7 years ago
    Raise an exception if the user tries to set a priority not in the repo
    
        
file modified
+4 -2
file modified
+30 -11