Cancelling meeting today?

Bernard and Jan-Ivar indicated that due to Thanksgiving, they did not 
expect to show up for the editors' call today.

Shall we call it off, or are there enough of us that we can merge some 
(uncontroversial?) PRs?

I'm willing to show up.

Harald

Received on Thursday, 28 November 2019 11:50:41 UTC