Build log checks report 1 warning

package:
minisat2
severity:
low
created:
2014-07-30
last updated:
2014-07-30

Build log checks report 1 warning