CVS: cvs.openbsd.org: ports

[Stuart Henderson]

CVSROOT:        /cvs
Module name:    ports
Changes by:     st...@cvs.openbsd.org   2019/08/02 06:59:52

Modified files:
        devel/angr/py-z3-solver/patches: patch-core_scripts_mk_util_py 

Log message:
fix py-z3-solver on i386, from jasper@