correct sha for happygrep
Merge pull request #6097 from happypeter/master

correct sha for happygrep