[ros-diffs] [hyperion] 12736: Patch to make the End Process Button working, by Michael Fritscher