You just read:

Royal Dutch Shell plc: Board Committee Changes

News provided by

Royal Dutch Shell plc

May 23, 2019, 13:45 ET