Skip to content

[BLISS 1.7] Fix flint with default session 1.7

Backport of !3378 (merged) in BLISS 1.7.x

Merge request reports