tag php-src: delete tag php-7.1.7

From: Date: Thu, 06 Jul 2017 08:49:13 +0000
Subject: tag php-src: delete tag php-7.1.7
Groups: php.cvs 
Request: Send a blank email to php-cvs+get-98430@lists.php.net to get a copy of this message
Tag php-7.1.7 in php-src.git was deleted from 9fd031533b6172d6ef155afd975987b4ed99e9ac

« previous php.cvs (#98430) next »