CVS: cvs.openbsd.org: ports

[Giovanni Bechis]

CVSROOT:        /cvs
Module name:    ports
Changes by:     giova...@cvs.openbsd.org        2013/12/27 04:20:57

Modified files:
        www/phpmyadmin : Makefile distinfo 

Log message:
Bugfix update to 4.1.2