Merge pull request #117 from TheBlueMatt/2018-08-no-claim-fuzz-bug