[pkgdb] minisat2 (Fedora, 13) updated by toshio

[Fedora PackageDB]

Package minisat2 in Fedora 13 is now owned by jjames

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/minisat2