elfring Pull-Requests --- Issues issue Completion of error handling #7434 elfring on January 28, 2016 Refactoring issue Fix signal handler #7433 elfring on January 28, 2016 Refactoringgood first issue issue Remove unnecessary null pointer checks #7432 elfring on January 28, 2016 Refactoring
