CVS: cvs.openbsd.org: ports

[Jasper Lievisse Adriaanse]

CVSROOT:        /cvs
Module name:    ports
Changes by:     jas...@cvs.openbsd.org  2013/06/18 00:23:38

Modified files:
        x11/gnome/shell-extensions: Makefile distinfo 

Log message:
update to gnome-shell-extensions-3.8.3.1