Skip to content

Commit 9b84a73

Browse files
authored
Merge pull request #7020 from milessabin/topic/update-shapeless
Update shapeless
2 parents 259ee05 + d6af26c commit 9b84a73