Commit 9cc2c77a authored by Remi Perenon's avatar Remi Perenon
Browse files

Merge branch 'hotfix-error_when_closing_gui' into 'release-1.3.x'

Hotfix error when closing gui

See merge request !48
parents cb84004a 19f49635
Pipeline #5425 passed with stages
in 28 minutes and 37 seconds