Skip to content

Update shapeless to 2.3.10#1016

Merged
mergify[bot] merged 1 commit intomasterfrom update/shapeless-2.3.10Oct 21, 2022

Commits

Commits on Sep 13, 2022