Skip to content

Fix: Interfaces should have their interfaces as basetype#75

Merged
clement-brodu merged 2 commits into
clement-brodu:mainfrom
simondrum:main
Jun 29, 2026
Merged

Fix: Interfaces should have their interfaces as basetype#75
clement-brodu merged 2 commits into
clement-brodu:mainfrom
simondrum:main

Commits

Commits on Jun 29, 2026