Don't ask to report an issue if the server process was killed externally - #9721
Open
dibarbet wants to merge 4 commits into
Open
Don't ask to report an issue if the server process was killed externally#9721dibarbet wants to merge 4 commits into
dibarbet wants to merge 4 commits into