[ros-diffs] [cwittich] 31319: fix a crash in SaveBoard