Skip to content

Update shapeless to 2.3.10#581

Merged
47erbot merged 2 commits intomainfrom update/shapeless-2.3.10Sep 14, 2022

Commits

Commits on Sep 14, 2022