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. HaraldReceived on Thursday, 28 November 2019 11:50:41 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:19:07 UTC