606ecb If the default priority is removed from the list of priorities, reset it

Authored and Committed by Pierre-Yves Chibon 7 years ago
    If the default priority is removed from the list of priorities, reset it
    
    So that the default priority doesn't stay "Foo" if "Foo" is no longer
    part of the list of priorities.
    
    Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr></pingou@pingoured.fr>
    
        
file modified
+5 -0