Inviting Tove Petersson to the editors meeting today

I've invited Tove Petersson, Google, to the editors meeting today.
There's an issue that Elad thinks is ready for PR where Tove would be the
editor; best to ensure that we don't have too many levels of passing any
arguments around.

Harald

Received on Wednesday, 1 November 2023 08:15:44 UTC