- Update to 4.8.15: * Fix solution soundness bug on QF_ABV formula undetected by model validator * Various other bug fixes
@dsterba, @jirislaby, @pluskalm: review reminder
susnux created request about 2 years ago
jirislaby accepted request about 2 years ago
lgtm. I am not sure I received a notification 5 days ago...
The Open Build Service is an openSUSE project.
@dsterba, @jirislaby, @pluskalm: review reminder