Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Crash when searching for "henchmen" #35
Steps to reproduce:
Reason: there is a huge number (12000+) of words matching "henchmen", and we try to do a single query trying to find out which ones have definitions or not.