> On 20 Aug 2019, at 18:36, Peter Koch <pk at DENIC.DE> wrote: > > the final dat ein the poll has passed - time to refresh? Is there a need for us to waste more time scheduling and co-ordinating a meeting when there's nothing to discuss? If nobody hears a tree falling in the forest, does it make a sound? :-)