[web-php] PR #791: Update mirroring.php

From: Date: Fri, 07 Jul 2023 13:34:14 +0000
Subject: [web-php] PR #791: Update mirroring.php
Groups: php.webmaster 
Request: Send a blank email to php-webmaster+get-30913@lists.php.net to get a copy of this message
Pull Request: https://github.com/php/web-php/pull/791 Closed by Girgias.

« previous php.webmaster (#30913) next »