[ros-diffs] [ion] 16731: - Remove ROSRTL. The era is over. Thanks to Filip for his help during the last month.