#22236: Gratuitous and inappropriate use of signals
-+-
Reporter: aaugustin|Owner: nobody
Type: | Status: closed
Cleanup/optimization
#22236: Gratuitous and inappropriate use of signals
-+-
Reporter: aaugustin|Owner: nobody
Type: | Status: new
Cleanup/optimization
#22236: Gratuitous and inappropriate use of signals
-+-
Reporter: aaugustin|Owner: nobody
Type: | Status: new
Cleanup/optimization
#22236: Gratuitous and inappropriate use of signals
-+-
Reporter: aaugustin|Owner: nobody
Type: | Status: new
Cleanup/optimization