[ros-diffs] [cwittich] 27994: fix bug "Regedit will let you create two identical keys." See issue #2496 for more details.