CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]        2019/06/05 08:23:18


Modified files:
        math/z3        : Makefile 

Log message:
use GH_TAGNAME, spotted by sthen@.
ok sthen@.

Reply via email to