Skip to content
Commit 241a2456 authored by psi29a's avatar psi29a
Browse files

Merge branch 'doubleexit' into 'master' 

Don't assume there is a GUI mode in exitCurrentGuiMode (#8380)

Closes #8380

See merge request !4590
parents 2b5d076f e4ae0c9a
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment