Summary of changes:
66bc862... robotics: add pcl-devel to default packages (*) 80921cf... Games: remove tremuluous to deal with oversize issue (*) a3302bb... Merge branch 'master' into f17
(*) This commit already existed in another branch; no separate mail sent