Register
|
Log in
Debian Package Tracker
1 bug
tagged patch in the
BTS
package:
minisat2
severity:
normal
created:
2019-04-01
last updated:
2019-12-06
The
BTS
contains
patches fixing 1 bug
, consider including or untagging them.
