Commit 8fc71484 authored by vreck's avatar vreck

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

issue #42 fix tree build issue

See merge request !100
parents 8b571323 8dc2955f
Pipeline #7546 passed with stage
in 0 seconds