8000 Experts list: update David Edelsohn's user name by encukou · Pull Request #1401 · python/devguide · GitHub
[go: up one dir, main page]
Skip to content

Experts list: update David Edelsohn's user name#1401

Merged
JelleZijlstra merged 1 commit intopython:mainfrom
encukou:de
Sep 19, 2024

Commits

Commits on Sep 19, 2024
0