Skip to content

Merge branch '4158-gather-more-info-when-ctrl-c-is-not-handled-properly' into '1.11.x'

Lucas Felix requested to merge 4158-gather-more-info-when-ctrl-c-is-not-handled-properly-backport-1.11.x into 1.11.x

Fix Ctrl-C leaving session unexpectingly

See merge request !6014 (merged)

Closes #4158

Merge request reports