[ghc-steering-committee] Arnaud's holiday/move

Dear all, As of this Thursday 15th August, I'll be on holiday; I'll be back on the 9th September. Since it's a sizable chunk of time, I wanted to make sure to share: I won't be reading my emails during this time. When I'm back, I'll be living in Japan. Which shouldn't change much for my Steering Committee commitments, I don't think. But it may be a little disruptive at first. Best, -- Arnaud Spiwack Director, Research at https://moduscreate.com and https://tweag.io.