Skip to content

Fix wrong coloring option

Santiago Ospina De Los Ríos requested to merge bugfix/wrong-coloring-option into master

Coloring and micro-locks were swapped in the options

Merge request reports