Re: [ros-dev] Proposed change to usermode exception reporting