Skip to content

Commit 1be5c23

Browse files
authored
Merge pull request #8806 from milessabin/topic/update-shapeless
Update shapeless
2 parents f2e5fd0 + 4f78f65 commit 1be5c23