CVS: cvs.openbsd.org: ports

[Marc Espie]

CVSROOT:        /cvs
Module name:    ports
Changes by:     es...@cvs.openbsd.org   2017/05/19 17:20:59

Added files:
        math/minisat/patches: patch-core_SolverTypes_h 

Log message:
fix friend