Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix matching for duplicated Specs #5683
I encountered this bug while testing #5672, and fixed it there. This PR reverts that fix and reapplies it (in order to make it cherry-pickable), and adds a test to cover it.