docs: add mikeshtro as a contributor for code, and bug#537
Merged
timdeschryver merged 2 commits intomainfrom Aug 2, 2025
Merged
docs: add mikeshtro as a contributor for code, and bug#537timdeschryver merged 2 commits intomainfrom
timdeschryver merged 2 commits intomainfrom
![allcontributors[bot]](https://avatars.githubusercontent.com/in/23186?v=4&size=32){kind=avatar}