Re: [Crash-catcher] [PATCH] Add option to select which reporter to use in GUI