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