Skip to content

Remove optional from timer label

Nicolas Fella requested to merge work/noptional into master

Knowing that it's optional isn't very interesting since it has a default value anyway

Merge request reports