Skip to content

Merge branch 'bugfix/mismatched-tags' into 'master'

Janick Gerstenberger requested to merge cherry-pick-33053f71 into releases/2.6

fix mismatched tags warnings

See merge request !213 (merged)

(cherry picked from commit 33053f71)

e61176a4 fix mismatched tags warnings emitted by make build_tests

Merge request reports