From aafe7d92775b87b699ab0ee95e258db6db909ae3 Mon Sep 17 00:00:00 2001 From: Petr Viktorin Date: Wed, 8 Oct 2025 14:17:02 +0200 Subject: [PATCH] PEP 731: Remove Michael Droettboom from WG member list Michael resigned. --- peps/pep-0731.rst | 1 - 1 file changed, 1 deletion(-) diff --git a/peps/pep-0731.rst b/peps/pep-0731.rst index 46d16af1b8d..5eff7f47522 100644 --- a/peps/pep-0731.rst +++ b/peps/pep-0731.rst @@ -100,7 +100,6 @@ Members The members of the working group are: - Erlend Aasland -- Michael Droettboom - Petr Viktorin - Serhiy Storchaka - Steve Dower