Appointment of Non-Executive Director - Gulf Marine Services PLC | RNS | Ticker