Merge branch 'enable-new-navigation-option-in-preferences' into 'master'
Enables the option in user preferences to turn on the new navigation
See merge request !12630
Showing
Please
register
or
sign in
to comment
BigW Consortium Gitlab