docs: add mumenthalers as a contributor for code, and test#466
Merged
timdeschryver merged 2 commits intomainfrom Jul 20, 2024
Merged
docs: add mumenthalers as a contributor for code, and test#466timdeschryver merged 2 commits intomainfrom
timdeschryver merged 2 commits intomainfrom
![allcontributors[bot]](https://avatars.githubusercontent.com/in/23186?v=4&size=32){kind=avatar}