606ecbe
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>