Skip to content

flint: Improve few things

Valentin Valls requested to merge improve-flint into master

Improves different small things in Flint.

Closes #3935 (closed), #3940 (closed), #4005 (closed), #3784 (closed)

Improves #3934

Edited by Valentin Valls

Merge request reports