Skip to content

flint: Small fixes

Valentin Valls requested to merge fixes-flint-api into master

Closes #4058 (closed) #4057 (closed)

This PR is about small fixes discovered while reviewer the different Flint use cases

Nothing crazy

Merge request reports