Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
boolector: add patch for CVE-2019-7560 #75279
Motivation for this change
Patched instead of bumping, because it appears bumping to 3.1.0 will take some serious attention from a maintainer.
Also noticed one of its dependencies,