diff options
Diffstat (limited to 'x11/gnome-shell')
| -rw-r--r-- | x11/gnome-shell/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/x11/gnome-shell/Makefile b/x11/gnome-shell/Makefile index d979d3aa8d83..da7b0285536d 100644 --- a/x11/gnome-shell/Makefile +++ b/x11/gnome-shell/Makefile @@ -1,6 +1,6 @@ PORTNAME= gnome-shell PORTVERSION= 42.4 -PORTREVISION= 7 +PORTREVISION= 8 CATEGORIES= x11 gnome MASTER_SITES= GNOME/sources/${PORTNAME}/${PORTVERSION:C/^([0-9]+)\..*/\1/} DIST_SUBDIR= gnome |