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
>
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
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
3 matches
Mail list logo