Make priority a non-optional parameter
If there is a default, there is no way to set it back to undef. Thatmakes Optional[] redundant and we can simplify the data type this way.
Fixes: 76e2a6852d1d2ca33935ccf8a6ab69992c32ec1d
Added by Ewoud Kohl van Wijngaarden almost 2 years ago
Added by Ewoud Kohl van Wijngaarden almost 2 years ago
Make priority a non-optional parameter
If there is a default, there is no way to set it back to undef. That
makes Optional[] redundant and we can simplify the data type this way.
Fixes: 76e2a6852d1d2ca33935ccf8a6ab69992c32ec1d