Re: Next meeting -- 11th July, 6pm UTC

2023-07-07 Thread Sean Whitton
Hello, On Fri 07 Jul 2023 at 12:55pm +02, Helmut Grohne wrote: > On Fri, Jul 07, 2023 at 11:11:08AM +0100, Sean Whitton wrote: >> - Updates on merged-/usr >> -- if, Helmut, you think this would be useful this month? > > Let me summarize what has happened. The rewrite of DEP17 has seen wider >

Re: Next meeting -- 11th July, 6pm UTC

2023-07-07 Thread Helmut Grohne
On Fri, Jul 07, 2023 at 11:11:08AM +0100, Sean Whitton wrote: > - Updates on merged-/usr > -- if, Helmut, you think this would be useful this month? Let me summarize what has happened. The rewrite of DEP17 has seen wider circulation and little feedback. It seems to me that we have consensus on

Next meeting -- 11th July, 6pm UTC

2023-07-07 Thread Sean Whitton
Dear committee members, Our next meeting is scheduled for Tuesday at 6pm UTC. Here is our agenda: - Jitsi: brief welcome to new members -- then back to IRC for remaining agenda items - Updates on merged-/usr -- if, Helmut, you think this would be useful this month? - DebConf23