Skip to content

Commit 63ee630

Browse files
authored
Merge pull request #8719 from milessabin/topic/update-shapeless
Update shapeless
2 parents f23da5e + 33f4071 commit 63ee630