0.4.1
- Bug fix: When inflating results check to see whether
seen[feature_id]
was already set while waiting for mutex to become available (preventing duplicate false positives)
seen[feature_id]
was already set while waiting for mutex to become available (preventing duplicate false positives)