2025-06-16 - 2025-12-16

Overview

2 Active Pull Requests
0 Active Issues
Excluding merges, 1 author has pushed 14 commits to master and 23 commits to all branches. On master, 18 files have changed and there have been 1423 additions and 30 deletions.

2 Pull requests merged by 1 user

Merged #2 Purely documentation and typing, let's try 2025-09-18 16:23:43 +00:00

Merged #1 modularise? 2025-09-18 15:48:40 +00:00