Skip to content

Fix non-generic protocols#436

Merged
Tinche merged 2 commits into
mainfrom
tin/non-generic-protocols
Oct 22, 2023
Merged

Fix non-generic protocols#436
Tinche merged 2 commits into
mainfrom
tin/non-generic-protocols

Commits

Commits on Oct 22, 2023