Skip to content

Commit 2b7cf02

Browse files
authored
Merge pull request #6814 from milessabin/topic/shapeless-update
Updated shapeless-3 submodule
2 parents deb4a21 + 51cf579 commit 2b7cf02