Merge branch 'issue#42' into 'dev-v3.5.1'

issue #42 fix tree build issue

See merge request !100
1 job for dev-v3.5.1 in 0 seconds (queued for 26 seconds)
latest