Skip to content
GitLab

Fix bug where the picking result was ignored

Merged Julius Nehring-Wirxel requested to merge jn/develop into develop

Also: Get rid of some annoying warning about initialization order.

Merge request reports