[ros-diffs] [tkreuzer] 56297: [DESK] Fix a typo. Part of an old patch by Carlo Bramini. See issue #3158 for more details.