diff options
Diffstat (limited to 'lang/php71/Makefile')
| -rw-r--r-- | lang/php71/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/php71/Makefile b/lang/php71/Makefile index ee26bcb54442..240f6fd9ce2c 100644 --- a/lang/php71/Makefile +++ b/lang/php71/Makefile @@ -2,8 +2,8 @@ # $FreeBSD$ PORTNAME= php71 -PORTVERSION= 7.1.12 -PORTREVISION?= 2 +PORTVERSION= 7.1.13 +PORTREVISION?= 0 CATEGORIES?= lang devel www MASTER_SITES= PHP/distributions DISTNAME= php-${PORTVERSION} |