[ros-diffs] [mbosma] 14718: PackageManager: Options.xml