[ros-diffs] [mjansen] 75218: [SHIMDBG] Add option to dump file properties.