Build #9 (Mar 18, 2018 10:24:09 AM)

1. revert changes from r11812 because orxonox still requires cegui 0.7 at the moment (detail)
   by Fabian Landau

Started by an SCM change