tag php-src: delete tag php-7.1.7

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

« previous php.cvs (#98412) next »