Skip to content

flint: Lots of small fixes

Valentin Valls requested to merge improve-flint into master

Closes #4003 (closed) #4004 (closed) #4010 (closed) #4013 (closed)

Tune and rework part of the flint UI.

Nothing noticeable for users

Edited by Valentin Valls

Merge request reports