GNOME Bugzilla – Bug 699925
[meta] Tracking ticket for signal handling issues (Ctrl+C, SIGINT)
Last modified: 2017-12-04 15:22:38 UTC
Tracking ticket to easily find and relate signal handling issues to each other.
All contained bugs closed, so closing this too.