Skip to content

Update DesktopFullyCovered flag name

Niccolò Venerandi requested to merge work/niccolove/updateflag into master

I changed the name of this flag in a previous MR and I forgot to update it here.

Edited by Niccolò Venerandi

Merge request reports