I've fixed Bug.has_patches to use Storm instead of Python iteration and submitted the branch for review.
I've fixed Bug.has_patches to use Storm instead of Python iteration and submitted the branch for review.